%0 Conference Paper %1 conf/ictac/DarbariFM10 %A Darbari, Ashish %A Fischer, Bernd %A Marques-Silva, João %B ICTAC %D 2010 %E Cavalcanti, Ana %E Déharbe, David %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 260-274 %T Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#DarbariFM10 %V 6255 %@ 978-3-642-14807-1

@inproceedings{conf/ictac/DarbariFM10, added-at = {2020-02-24T00:00:00.000+0100}, author = {Darbari, Ashish and Fischer, Bernd and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/26478c8d2060ef3138f8914e78eb1e392/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2010}, editor = {Cavalcanti, Ana and Déharbe, David and Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://www.wikidata.org/entity/Q57658806}, interhash = {0022a745ffbab4f5f2f483a5b74a8c12}, intrahash = {6478c8d2060ef3138f8914e78eb1e392}, isbn = {978-3-642-14807-1}, keywords = {dblp}, pages = {260-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:19.000+0200}, title = {Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#DarbariFM10}, volume = 6255, year = 2010 }