2266 search results - page 214 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
107
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
149
click to vote
ISDA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
109
click to vote
AI
2007
Springer
15 years 3 months ago
2007
Springer
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
129
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
113
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...