589 search results - page 66 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Distributed Constraint Optimization (DCOP) is a popular framework for cooperative multi-agent decision making. DCOP is NPhard, so an important line of work focuses on developing f...
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
113
click to vote
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
In building practical sensor networks, it is often beneficial to use only a subset of sensors to take measurements because of computational, communication, and power limitations....
129
click to vote
WWW
2004
ACM
16 years 15 days ago
2004
ACM
The overwhelming success of the Web as a mechanism for facilitating information retrieval and for conducting business transactions has led to an increase in the deployment of comp...
113
click to vote
WEBI
2007
Springer
15 years 6 months ago
2007
Springer
Many web pages and resources are primarily relevant to certain geographic locations. For example, in many queries web pages on restaurants, hotels, or movie theaters are only rele...