2266 search results - page 416 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
128
click to vote
ACM
1995
15 years 5 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
KDD
1997
ACM
15 years 5 months ago
1997
ACM
This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhi...
129
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
126
click to vote
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
113
click to vote
AAAI
2004
15 years 2 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...