247 search results - page 27 / 50 » Combining Adaptive and Dynamic Local Search for Satisfiabili... |
IJCAI
2007
13 years 9 months ago
2007
In many planning situations, a planner is required to return a diverse set of plans satisfying the same goals which will be used by the external systems collectively. We take a do...
IJCAI
2001
13 years 9 months ago
2001
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...
SBP
2012
Springer
12 years 3 months ago
2012
Springer
Complex adaptive systems (CAS) modeling has become a common tool to study the behavioral dynamics of agents in a broad range of disciplines from ecology to economics. Many modelers...
HPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Mega grids span several continents and may consist of millions of nodes and billions of tasks executing at any point in time. This setup calls for scalable and highly available re...
ANOR
2010
13 years 7 months ago
2010
The design of effective neighborhood structures is fundamentally important for creating better local search and metaheuristic algorithms for combinatorial optimization. Significant...