%0 Conference Paper %1 conf/padl/BaileyS05 %A Bailey, James %A Stuckey, Peter J. %B PADL %D 2005 %E Hermenegildo, Manuel V. %E Cabeza, Daniel %I Springer %K dblp %P 174-186 %T Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. %U http://dblp.uni-trier.de/db/conf/padl/padl2005.html#BaileyS05 %V 3350 %@ 3-540-24362-3

@inproceedings{conf/padl/BaileyS05, added-at = {2019-04-16T00:00:00.000+0200}, author = {Bailey, James and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/22d52f86aa557e0e5eb50e08e3f80bb61/dblp}, booktitle = {PADL}, crossref = {conf/padl/2005}, editor = {Hermenegildo, Manuel V. and Cabeza, Daniel}, ee = {https://doi.org/10.1007/978-3-540-30557-6_14}, interhash = {b16b33da95d1005dd1b7958a275a66fb}, intrahash = {2d52f86aa557e0e5eb50e08e3f80bb61}, isbn = {3-540-24362-3}, keywords = {dblp}, pages = {174-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:45:04.000+0200}, title = {Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2005.html#BaileyS05}, volume = 3350, year = 2005 }