470 search results - page 41 / 94 » Tabu Search for SAT |
104
click to vote
JAR
2000
15 years 15 days ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
58
Voted
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
44
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
63
Voted
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
50
Voted
ECAI
2000
Springer
15 years 5 months ago
2000
Springer