next up previous index
Next: MAXIMUM K-CONSTRAINT SATISFACTION Up: Propositional Logic Previous: MINIMUM NUMBER OF SATISFIABLE   Index

MINIMUM EQUIVALENCE DELETION



Viggo Kann
1999-04-22