Feedback
keyword: constraint solving – 2 free books.
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors