On some aspects of mixed-Horn formulas

Konferenzbeitrag › Konferenzpaper › 2009

Zitation

Porschen, S.; Schmidt, T.; Speckenmeyer, E.: On some aspects of mixed-Horn formulas. In: Proceedings SAT 2009. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2009( LNCS, Vol. 5584), S. 86-100.

ISSN

0302-9743

ISBN

978-3-642-02776-5

Zitieren

BibTeX / RIS

Zugehörige Veranstaltungen

  • On some aspects of mixed-Horn formulas
    12th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
    Universität Swansea, Wales, UK, 30.06.2009
    Veranstaltungsbeitrag › Vortrag › 2009