177
click to vote
CP
15 years 9 months ago
2003 Springer 
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
138
click to vote
CP
15 years 9 months ago
2003 Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
128
click to vote
CP
15 years 9 months ago
2003 Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
119
click to vote
CP
15 years 9 months ago
2003 Springer 
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
|
Artificial Intelligence