MaxSAT by improved instance-specific algorithm configurationCarlos AnsóteguiJoel Gabàset al.2016Artificial Intelligence