History
1
an:05894685
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Boolvar/PB v1.0, a Java library for translating pseudo-Boolean constraints into CNF formulae. (English)
Comput. Res. Repos. 2011, Article No. 1103.3954 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!