Solving MAXSAT by Solving a Sequence of Simpler SAT Instances-Reference-Cited by-同舟云学术

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances

Published:2011 Issue: Volume: Page:225-239
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming – CP 2011
language:
Short-container-title:

Author:

Davies Jessica,Bacchus Fahiem

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23786-7_19

Reference15 articles.

1. Ansótegui, C., Bonet, M.L., Levy, J.: Solving (weighted) partial maxsat through satisfiability testing. In: Proceedings of Theory and Applications of Satisfiability Testing (SAT), pp. 427–440 (2009)

2. Ansótegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial maxsat. In: Proceedings of the AAAI National Conference (AAAI), pp. 3–8 (2010)

3. Argelich, J., Li, C.M., Manyà, F., Planes, J.: The First and Second Max-SAT Evaluations. JSAT 4(2-4), 251–278 (2008)

4. Berre, D.L., Parrain, A.: The sat4j library, release 2.2. JSAT 7(2-3), 56–59 (2010)

5. Lecture Notes in Computer Science;J. Davies,2010

Cited by 78 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computing generating sets of minimal size in finite algebras;Journal of Symbolic Computation;2023-11

2. LinCQA: Faster Consistent Query Answering with Linear Time Guarantees;Proceedings of the ACM on Management of Data;2023-05-26

3. CHAMP: A multipass algorithm for Max Sat based on saver variables;Discrete Optimization;2023-02

4. Using the method of conditional expectations to supply an improved starting point for CCLS;Journal of Combinatorial Optimization;2022-09-30

5. Consistent Answers of Aggregation Queries via SAT;2022 IEEE 38th International Conference on Data Engineering (ICDE);2022-05