589 search results - page 42 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
FROCOS
2009
Springer
15 years 3 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we propose a simple genetic algorithm for finding the optimal conformation of a protein using the three-dimensional square HP model. A backtracking procedure is use...
121
click to vote
INFSOF
2008
14 years 11 months ago
2008
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...
124
click to vote
SIGIR
1999
ACM
15 years 4 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
126
click to vote
WWW
2008
ACM
16 years 14 days ago
2008
ACM
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...