next up previous index
Next: MINIMUM NUMBER OF SATISFIABLE Up: Propositional Logic Previous: MAXIMUM WEIGHTED SATISFIABILITY WITH   Index

MAXIMUM NUMBER OF SATISFIABLE FORMULAS



Viggo Kann
2000-03-20