×

Found 9 Documents (Results 1–9)

On the use of second order derivatives for the satisfiability problem. (English) Zbl 0889.68075

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, 677-687 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Author

all top 5

Year of Publication

all top 3

Main Field