MaxSAT by improved instance-specific algorithm configuration

Autor:	Ansótegui, Carlos, Gabàs, Joel, Malitsky, Yuri, Sellmann, Meinolf
Zdroj:	In Artificial Intelligence June 2016 235:26-39
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect