History
1
an:50074112
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Linear satisfiability algorithm for 3CNF formulas of certain signaling networks (English)
JSAT 6, No. 1-3, 13-32 (2009).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!