Sign in

MaxSAT by improved instance-specific algorithm configuration.

Carlos AnsóteguiJoel GabàsYuri MalitskyMeinolf Sellmann
Published in: Artif. Intell. (2016)
Keyphrases