Jegou, Philippe, Universite Paul Cezanne (Aix-Marseille 3), France
-
Workshops at the Twenty-Fourth AAAI Conference on Artificial Intelligence - Workshop on Abstraction, Reformulation, and Approximation
Toward a Generalization and a Reformulation of Goods in SAT — Preliminary Report
Abstract PDF