A CNF formula hierarchy over the hypercube

Veranstaltungsbeitrag › Vortrag › 2007

Veranstaltung

20th Joint Conference on Artificial Intelligence
Goldcoast, Australien, 02.12.2007 - 06.12.2007

Ergänzende Angaben

Englischer Fachvortrag

Zugehörige Publikationen