72 search results - page 3 / 15 » Conflict Analysis in Search Algorithms for Satisfiability |
CP
2000
Springer
13 years 10 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
AAMAS
2010
Springer
13 years 6 months ago
2010
Springer
This paper investigates cooperative search strategies for agents engaged in costly search in a complex environment. Searching cooperatively, several search goals can be satisfied w...
IEEEVAST
2010
13 years 1 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
SIAMJO
2002
13 years 5 months ago
2002
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
ICDM
2002
IEEE
13 years 11 months ago
2002
IEEE
Automatic classification of web pages is an effective way to deal with the difficulty of retrieving information from the Internet. Although there are many automatic classification...