Linear CNF formulas and satisfiability

Veranstaltungsbeitrag › Vortrag › 2006

Veranstaltung

9th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Seattle, USA, 12.08.2006 - 15.08.2006

Ergänzende Angaben

Englischer Fachvortrag

Zugehörige Publikationen