2266 search results - page 399 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
105
click to vote
SDM
2008
SIAM
15 years 3 months ago
2008
SIAM
Although clustering under constraints is a current research topic, a hierarchical setting, in which a hierarchy of clusters is the goal, is usually not considered. This paper trie...
113
click to vote
AAAI
1998
15 years 2 months ago
1998
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
142
click to vote
CONSTRAINTS
1998
15 years 1 months ago
1998
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
143
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
68
Voted
EWC
2011
14 years 8 months ago
2011
Abstract. Finite element mesh adaptation methods can be used to improve the efficiency and accuracy of solutions to computational modeling problems. In many applications involving ...