197 search results - page 30 / 40 » Advances in Local Search for Satisfiability |
AAAI
2004
13 years 9 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...
HM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we consider solving a complex real life break scheduling problem. This problem of high practical relevance arises in many working areas, e.g. in air traffic control a...
COR
2010
13 years 7 months ago
2010
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...
AAMAS
2000
Springer
13 years 7 months ago
2000
Springer
When multiple agents are in a shared environment, there usually exist constraints among the possible actions of these agents. A distributed constraint satisfaction problem (distrib...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Discovering local geometry of low-dimensional manifold embedded into a high-dimensional space has been widely studied in the literature of machine learning. Counter-intuitively, w...