Propositional Logic

Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)

Propositional Logic

Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)

Next: MAXIMUM SATISFIABILITY Up: Logic Previous: Logic Index

Propositional Logic

MAXIMUM SATISFIABILITY
MAXIMUM K-SATISFIABILITY
MINIMUM K-SATISFIABILITY
MAXIMUM NOT-ALL-EQUAL 3-SATISFIABILITY
MINIMUM 3DNF SATISFIABILITY
MAXIMUM DISTINGUISHED ONES
MINIMUM DISTINGUISHED ONES
MAXIMUM WEIGHTED SATISFIABILITY WITH BOUND
MAXIMUM NUMBER OF SATISFIABLE FORMULAS
MINIMUM NUMBER OF SATISFIABLE FORMULAS
MINIMUM EQUIVALENCE DELETION
MAXIMUM K-CONSTRAINT SATISFACTION
MINIMUM LENGTH EQUIVALENT FREGE PROOF

Viggo Kann
2000-03-20