@inbook{d2aec14a074d4750a7f9a8c71a5beabb,
title = "An efficient implementation of a joint generation algorithm",
abstract = "Let C be an n-dimensional integral box, and TT be a monotone property defined over the elements of C. We consider the problems of incrementally generating jointly the families Fπ and Gπ of all minimal subsets satisfying property π and all maximal subsets not satisfying property π, when π is given by a polynomial-time satisfiability oracle. Problems of this type arise in many practical applications. It is known that the above joint generation problem can be solved in incremental quasi-polynomial time. In this paper, we present an efficient implementation of this procedure. We present experimental results to evaluate our implementation for a number of interesting monotone properties π.",
author = "E. Boros and K. Elbassioni and V. Gurvich and L. Khachiyan",
year = "2004",
doi = "10.1007/978-3-540-24838-5_9",
language = "British English",
isbn = "3540220674",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "114--128",
editor = "Ribeiro, {Celso C.} and Martins, {Simone L.}",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}