next up previous index
Next: MINIMUM LENGTH EQUIVALENT FREGE Up: Propositional Logic Previous: MINIMUM EQUIVALENCE DELETION   Index

MAXIMUM K-CONSTRAINT SATISFACTION


next up previous index
Next: MINIMUM LENGTH EQUIVALENT FREGE Up: Propositional Logic Previous: MINIMUM EQUIVALENCE DELETION   Index
Viggo Kann
2000-03-20