Publication:3604006
From MaRDI portal
zbMath1159.68567MaRDI QIDQ3604006
Knot Pipatsrisawat, Arthur Choi, Mark Chavira, Akop Palyan, Adnan Darwiche
Publication date: 24 February 2009
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Boolean lexicographic optimization: algorithms \& applications, Curriculum-based course timetabling with SAT and MaxSAT, Resolution-based lower bounds in MaxSAT, Incomplete inference for graph problems, Iterative and core-guided maxsat solving: a survey and assessment, A taxonomy of exact methods for partial Max-SAT, Algorithms for Weighted Boolean Optimization
Uses Software