×

zbMATH — the first resource for mathematics

CCLS: an efficient local search algorithm for weighted maximum satisfiability. (English) Zbl 1360.68786
Editorial remark: No review copy delivered.

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Software:
CCLS
PDF BibTeX XML Cite
Full Text: DOI