Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT” by Clark W. Barrett, David L. Dill, and Aaron Stump. In Proceedings of the 14^th International Conference on Computer Aided Verification (CAV '02), (Ed Brinksma and Kim Guldstrand Larsen, eds.), July 2002, pp. 236-249. Copenhagen, Denmark.

BibTeX entry:

@inproceedings{BDS02-CAV02,
   author = {Clark W. Barrett and David L. Dill and Aaron Stump},
   editor = {Ed Brinksma and Kim Guldstrand Larsen},
   title = {Checking Satisfiability of First-Order Formulas by Incremental
	Translation to {SAT}},
   booktitle = {Proceedings of the {\it 14^{th}} International Conference
	on Computer Aided Verification (CAV '02)},
   series = {Lecture Notes in Computer Science},
   volume = {2404},
   pages = {236--249},
   publisher = {Springer-Verlag},
   month = jul,
   year = {2002},
   note = {Copenhagen, Denmark},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BDS02-CAV02.pdf}
}

(This webpage was created with bibtex2web.)