Ashish Darbari
AuthID: R-00H-88F
1
TÃTULO: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 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
TÃTULO: Industrial-Strength Formally Certified SAT Solving PDF
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
INDEXADO EM: DBLP arXiv