%0 Conference Paper %1 conf/ecsqaru/Hunter03 %A Hunter, Anthony %B ECSQARU %D 2003 %E Nielsen, Thomas D. %E Zhang, Nevin Lianwen %I Springer %K dblp %P 464-476 %T Probable Consistency Checking for Sets of Propositional Clauses. %U http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru2003.html#Hunter03 %V 2711 %@ 3-540-40494-5

@inproceedings{conf/ecsqaru/Hunter03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hunter, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/29609c1b8c924a706e5bdaceec87d7ccd/dblp}, booktitle = {ECSQARU}, crossref = {conf/ecsqaru/2003}, editor = {Nielsen, Thomas D. and Zhang, Nevin Lianwen}, ee = {https://doi.org/10.1007/978-3-540-45062-7_38}, interhash = {81a83189690fadf59629e3e7900bb354}, intrahash = {9609c1b8c924a706e5bdaceec87d7ccd}, isbn = {3-540-40494-5}, keywords = {dblp}, pages = {464-476}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:50:44.000+0200}, title = {Probable Consistency Checking for Sets of Propositional Clauses.}, url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru2003.html#Hunter03}, volume = 2711, year = 2003 }