next up previous index
Next: MAXIMUM SATISFIABILITY Up: Logic Previous: Logic   Index

Propositional Logic





Viggo Kann
2000-03-20