Minipref: A Tool for Preferences in SAT (short paper).

Carmine Dodaro Alessandro Previti

Published in: RCRA/RiCeRcA@AI*IA (2019)

Keyphrases

decision making
phase transition
soft constraints
learning algorithm
evolutionary algorithm
simulated annealing
satisfiability problem
software tools
preference relations
preference elicitation