Publication:2786910

zbMath1348.68228MaRDI QIDQ2786910

Mikoláš Janota, Inês Lynce, Vasco M. Manquinho, João P. Marques-Silva

Publication date: 23 February 2016

zbMATH Keywords

MaxSAT; Boolean optimization; package upgradability problem

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N25: Theory of operating systems

Related Items

PackUp