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

Propositional Logic





Viggo Kann
1999-04-22