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

MAXIMUM WEIGHTED SATISFIABILITY WITH BOUND



Viggo Kann
1999-04-22