Encoding First Order Proofs in SAT
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Encoding First Order Proofs in SAT
CADE, 2007.

CADE 2007
Full names Links ISxN
	author        = "Todd Deshane and Wenjin Hu and Patty Jablonski and Hai Lin and Christopher Lynch and Ralph Eric McGregor",
	booktitle     = "{Proceedings of the 21st International Conference on Automated Deduction}",
	doi           = "10.1007/978-3-540-73595-3_35",
	isbn          = "978-3-540-73594-6",
	pages         = "476--491",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Encoding First Order Proofs in SAT}",
	volume        = 4603,
	year          = 2007,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.