Login / Signup

Improving WPM2 for (Weighted) Partial MaxSAT.

Carlos AnsóteguiMaria Luisa BonetJoel GabàsJordi Levy
Published in: CP (2013)
Keyphrases
  • eye typing
  • text entry
  • upper bound
  • combinatorial optimization
  • lower bound
  • sat solvers
  • novice users