Youssef Hamadi

Handbook of Parallel Constraint Reasoning

2018

Tractability

Tractability

2014

Combinatorial Search

2013

Autonomous search

2011