Algorithms for Maximum Satisfiability Using Unsatisfiable Cores-Reference-Cited by-同舟云学术

Algorithms for Maximum Satisfiability Using Unsatisfiable Cores

Published:2010-11-11 Issue: Volume: Page:171-182
ISSN:
Container-title:Advanced Techniques in Logic Synthesis, Optimizations and Applications
language:
Short-container-title:

Author:

Marques-Sila Joao,Planes Jordi

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/978-1-4419-7518-8_10.pdf

Reference37 articles.

1. Ansótegui, C., Bonet, M.L., Levy, J.: Solving (weighted) partial MaxSAT through satisfiability testing. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 427–440. Swansea, UK (2009)

2. Ansótegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial MaxSAT. In: National Conference on Artificial Intelligence. Atlanta, USA (2010)

3. Argelich, J., Li, C.M., Manyá, F., Planes, J.: MaxSAT evaluation. http://www.maxsat07.udl.es/ (2008)

4. Argelich, J., Li, C.M., Manyá, F., Planes, J.: The first and second Max-SAT evaluations. Journal on Satisfiability, Boolean Modeling and Computation 4, 251–278 (2008)

5. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: Cardinality networks and their applications. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 167–180. Swansea, UK (2009)

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

1. Resizing cardinality constraints for MaxSAT;AI Communications;2018-06-11

2. Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT;Theory and Applications of Satisfiability Testing – SAT 2018;2018

3. Finding minimum type error sources;ACM SIGPLAN Notices;2014-12-31

4. Summarization of Boolean satisfiability verification;Journal of Electronics (China);2014-06

5. Incremental Encoding and Solving of Cardinality Constraints;Automated Technology for Verification and Analysis;2014