On some aspects of mixed-Horn formulas

Veranstaltungsbeitrag › Vortrag › 2009

Veranstaltung

12th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Universität Swansea, Wales, UK, 30.06.2009 - 03.07.2009

Ergänzende Angaben

Englischer Fachvortrag

Zugehörige Publikationen