next up previous index
Next: MINIMUM EQUIVALENCE DELETION Up: Propositional Logic Previous: MAXIMUM NUMBER OF SATISFIABLE   Index

MINIMUM NUMBER OF SATISFIABLE FORMULAS



Viggo Kann
2000-03-20