A CNF class generalizing exact-linear formulas

Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2008

Veranstaltung

11th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Guangzhou, China, 12.05.2008 - 15.05.2008

Ergänzende Angaben

Englischer Fachvortrag und Session Chair

Zugehörige Publikationen