Satisfiability problems for mixed-Horn formulas

Konferenzbeitrag › Konferenzpaper › 2004

Zitation

Porschen, S.; Speckenmeyer, E.: Satisfiability problems for mixed-Horn formulas. In: Proceedings Guangzhou symposium on SAT-based modeling. Hg. von Sun Yat-sen Universität, Guangzhou, China. Guangzhou, China: 2004, S. 106-113.

Zitieren

BibTeX / RIS