Login / Signup
A discrete Lagrangian-based global-search method for solving satisfiability problems.
Benjamin Wan-Sang Wah
Yi Shang
Published in:
Satisfiability Problem: Theory and Applications (1996)
Keyphrases
</>
global search
objective function
search algorithm
dynamic programming
convergence rate
satisfiability problem
convergence speed
particle swarm optimization algorithm
genetic algorithm
special case
orders of magnitude
linear program
combinatorial optimization
temporal logic
phase transition