Login / Signup

Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks.

Utz-Uwe HausKlaus TruemperRobert Weismantel
Published in: J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
  • cost function
  • dynamic programming
  • cnf formula
  • computational complexity
  • randomly generated
  • objective function
  • optimal solution
  • simulated annealing
  • database systems
  • np hard
  • linear programming
  • np complete