David A. Cohen

Dept. of Computer Science , Royal Holloway ,; Univ. of London , UK

4 papers in the IJCAI proceedings

IJCAI 2015

Tractable Classes of Binary CSPs Defined by Excluded Topological Minors

with Martin C. Cooper, Peter Jeavons, Stanislav Zivný

Details PDF

IJCAI 2013

Variable Elimination in Binary CSP via Forbidden Patterns

with Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný

Details PDF

IJCAI 2005

A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition

with Peter Jeavons, Marc Gyssens

Details PDF

IJCAI 2003

A Maximal Tractable Class of Soft Constraints

with Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings