Sciweavers

Share
7 search results - page 2 / 2
» Directing value: driven artificial characters
Sort
View
CP
2010
Springer
8 years 12 months ago
A Complete Multi-valued SAT Solver
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and con´Čéict driven clause learning. W...
Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann
CP
2009
Springer
10 years 2 months ago
Coalition Structure Generation Utilizing Compact Characteristic Function Representations
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko S...
books