1144 search results - page 73 / 229 » Logic programming for combinatorial problems |
131
click to vote
COCO
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
127
click to vote
PPSN
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
142
click to vote
IJCAI
2003
15 years 3 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
107
click to vote
MOR
2002
15 years 2 months ago
2002
ngly better objective function value until an optimal solution is reached. From an abstract point of view, an augmentation problem is solved in each iteration. That is, given a fea...
131
click to vote
SIAMJO
2010
15 years 23 days ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...