Journées d'Intelligence Arti cielle Fondamentale - PFIA 2017 - Greyc5 juil. 2017 ... An efficient SAT formulation for learning multicriteria non-compensatory sorting
models. F. Belardinelli, R. ... Lima, V. Montmirail. Un raccourci récursif pour
CEGAR : Application au problème de satisfiabilité en logique modale. K ...... the
applied ?-calculus or CSP [18, 25, 43], rewriting-based approaches [11 ...
