Linear CNF formulas and satisfiability
Veranstaltungsbeitrag › Vortrag › 2006
Veranstaltung
Seattle, USA, 12.08.2006 - 15.08.2006
Ergänzende Angaben
Zugehörige Publikationen
- Lnear CNF formulas and satisfiabilityArtikel › Journalartikel › 2009
9th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Seattle, USA, 12.08.2006 - 15.08.2006
Englischer Fachvortrag