Login / Signup

Combining approaches for solving satisfiability problems with qualitative preferences.

Emanuele Di RosaEnrico Giunchiglia
Published in: AI Commun. (2013)
Keyphrases
  • satisfiability problem
  • qualitative preferences
  • stochastic local search
  • solving hard
  • temporal logic
  • search algorithm
  • np complete
  • special case
  • search procedures
  • sat instances
  • pspace complete