14158 search results - page 426 / 2832 » Generalized switch-setting problems |
127
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
138
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— We propose a novel complementarity model for a general three-dimensional manipulation system with rolling and sliding contacts to solve the forward dynamics problem. The key id...
125
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
132
click to vote
C3S2E
2008
ACM
15 years 7 months ago
2008
ACM
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...
142
click to vote
AAAI
2004
15 years 6 months ago
2004
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...