Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 2 of 2 total

A new look at BDDs for pseudo-Boolean constraints. (English)
J. Artif. Intell. Res. (JAIR) 45, 443-480 (2012).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
On memoryless provers and insincere verifiers. (English)
J. Exp. Theor. Artif. Intell. 21, No. 3, 217-231 (2009).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!