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, 153-209 (1997).
MSC:  68P10 68W10 68T20
BibTeX Cite

Filter Results by …

Document Type