×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 19-151 (1997).
BibTeX Cite
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software