1402 search results - page 265 / 281 » A Practical Agent Programming Language |
111
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
116
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
104
click to vote
CP
2007
Springer
15 years 8 months 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...
92
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
89
Voted
UIST
2005
ACM
15 years 7 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...