next up previous index
Next: MAXIMUM NOT-ALL-EQUAL 3-SATISFIABILITY Up: Propositional Logic Previous: MAXIMUM K-SATISFIABILITY   Index

MINIMUM K-SATISFIABILITY



Viggo Kann
2000-03-20