Ashish Darbari
AuthID: R-00H-88F
1
TITLE: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTHORS: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
AUTHORS: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
2
TITLE: Industrial-Strength Formally Certified SAT Solving PDF
AUTHORS: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.1678
AUTHORS: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.1678
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv