SAT-Based Approaches to Reasoning in Choice Logics.

Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo

Browse the full ECAI paper archive.