Logic

 

 
• Propositional Logic
  • LO1 M AXIMUM S ATISFIABILITY
  • LO2 M AXIMUM K -S ATISFIABILITY
  • LO3 M INIMUM K -S ATISFIABILITY
  • LO4 M AXIMUM N OT -A LL -E QUAL 3-S ATISFIABILITY
  • LO5 M INIMUM 3DNF S ATISFIABILITY
  • LO6 M AXIMUM D ISTINGUISHED O NES
  • LO7 M INIMUM D ISTINGUISHED O NES
  • LO8 M AXIMUM W EIGHTED S ATISFIABILITY WITH B OUND
  • LO9 M AXIMUM N UMBER OF S ATISFIABLE F ORMULAS
  • LO10 M INIMUM N UMBER OF S ATISFIABLE F ORMULAS
  • LO11 M INIMUM E QUIVALENCE D ELETION
  • LO12 M AXIMUM K -C ONSTRAINT S ATISFACTION
• Miscellaneous
  • LO13 M AXIMUM H ORN C ORE