next up previous index
Next: MAXIMUM NUMBER OF SATISFIABLE Up: Propositional Logic Previous: MINIMUM DISTINGUISHED ONES   Index

MAXIMUM WEIGHTED SATISFIABILITY WITH BOUND



Viggo Kann
2000-03-20