×

Found 2 Documents (Results 1–2)

Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. (English) Zbl 1030.00034

Lecture Notes in Computer Science. 2919. Berlin: Springer. xi, 530 p. (2004).
MSC:  00B25 68-06 68T20 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Year of Publication

Main Field

Software