193 search results - page 12 / 39 » sat 2007 |
71
Voted
ENGL
2007
15 years 3 days ago
2007
AUSAI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
SAT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
78
Voted
CCIA
2007
Springer
15 years 6 months ago
2007
Springer