×

Found 2 Documents (Results 1–2)

Balance and filtering in structured satisfiable problems. (Preliminary report). (English) Zbl 0985.90509

Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C15 90B40
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software