-
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability
Artificial intelligence , 2017
Enthalten in: Artificial intelligence
OLC Architektur
-
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur
-
New local search methods for partial MaxSAT
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur