A Generalized Framework for Conflict Analysis.

Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Sad Jabbour, Lakhdar Sais

Browse the full SAT paper archive.