History
1
an:70210618
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Decision procedures for SAT, SAT modulo theories and beyond. The barcelogictools (English)
LPAR, 23-46 (2005).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!