层次图（混合Horn）公式的部分极大可满足性.pdfVIP

Studies in Logic, Vol. 3, No. 3 (2010): 24–43 PII: 1674-3202(2010)-03-0024-20 PARTIAL MAX-SAT of Level Graph (Mixed-Horn)Formulas∗ Ewald Speckenmeyer Computer Science Institute, University of Cologne esp@informatik.uni-koeln.de Stefan Porschen Computer Science Institute, University of Cologne porschen@htw-berlin.de Abstract. This pa