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

MINIMUM NUMBER OF SATISFIABLE FORMULAS



Viggo Kann
1999-04-22