Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference43 articles.
1. Modeling and solving staff scheduling with partial weighted MaxSAT;Demirović;Ann. Oper. Res.,2019
2. Guided local search for solving SAT and weighted MAX-SAT problems;Mills;J. Autom. Reason.,2000
3. Partial weighted MaxSAT for optimal planning;Robinson,2010
4. New approaches to constraint acquisition;Bessiere,2016
5. Learning constraints from examples;De Raedt,2018