Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ppdp/BandaSW03
%A de la Banda, Maria J. García
%A Stuckey, Peter J.
%A Wazny, Jeremy
%B PPDP
%D 2003
%I ACM
%K dblp
%P 32-43
%T Finding all minimal unsatisfiable subsets.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2003.html#BandaSW03
%@ 1-58113-705-2
@inproceedings{conf/ppdp/BandaSW03,
added-at = {2018-11-06T00:00:00.000+0100},
author = {de la Banda, Maria J. García and Stuckey, Peter J. and Wazny, Jeremy},
biburl = {https://www.bibsonomy.org/bibtex/2b1477f15ee868715a4ed7032654e9f44/dblp},
booktitle = {PPDP},
crossref = {conf/ppdp/2003},
ee = {https://doi.org/10.1145/888251.888256},
interhash = {fa3cf3aa91593c3a0ac72a1bd49efcb9},
intrahash = {b1477f15ee868715a4ed7032654e9f44},
isbn = {1-58113-705-2},
keywords = {dblp},
pages = {32-43},
publisher = {ACM},
timestamp = {2018-11-07T14:47:29.000+0100},
title = {Finding all minimal unsatisfiable subsets.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2003.html#BandaSW03},
year = 2003
}