2266 search results - page 221 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
142
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
129
click to vote
ECCC
2008
15 years 3 months ago
2008
We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are compl...
110
click to vote
JAPLL
2006
15 years 3 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
121
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...
128
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...