Login / Signup

Approximate solution of weighted MAX-SAT problems using GRASP.

Mauricio G. C. ResendeLeonidas S. PitsoulisPanos M. Pardalos
Published in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
  • weighted max sat
  • neural network
  • optimization problems