13090 search results - page 2380 / 2618 » Usable artificial intelligence |
144
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
185
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
136
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
143
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
168
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...