2266 search results - page 35 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
108
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
CADE
2002
Springer
16 years 2 days ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
107
click to vote
EAAI
2006
14 years 11 months ago
2006
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
A new evolutionary technique for multicriteria optimization called Guiding Hyper-plane Evolutionary Algorithm (GHEA) is proposed. The originality of the approach consists in the f...
IFSA
2003
Springer
15 years 5 months ago
2003
Springer
Image registration has been a very active research area in the computer vision community. In the last few years, there is an increasing interest on the application of Evolutionary ...