A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems.

Alireza Ensan, Eugenia Ternovska, Heng Liu

Browse the full CADE paper archive.