Author:
Larrosa Javier,Nieuwenhuis Robert,Oliveras Albert,Rodríguez-Carbonell Enric
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference32 articles.
1. Makhorin, A.: GLPK 4.25 (GNU Linear Programming Kit). Available at http://www.gnu.org/software/glpk/ (2007)
2. Amgoud, L., Cayrol, C., Berre, D.L.: Comparing arguments using preference ordering for argument-based reasoning. In: ICTAI, pp. 400–403 (1996)
3. Lecture Notes in Computer Science;R Asín,2008
4. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett. 8(3), 121–123 (1979)
5. Boros, E., Hammer, P.L.: Pseudo-boolean optimization. Discrete Appl. Math. 123(1–3), 155–225 (2002)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certified MaxSAT Preprocessing;Lecture Notes in Computer Science;2024
2. Certified Core-Guided MaxSAT Solving;Automated Deduction – CADE 29;2023
3. QMaxSATpb: A Certified MaxSAT Solver;Logic Programming and Nonmonotonic Reasoning;2022
4. Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers;ACM Transactions on Computational Logic;2019-10-31
5. Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk);Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019