Improving WPM2 for (Weighted) Partial MaxSAT
暂无分享,去创建一个
Maria Luisa Bonet | Carlos Ansótegui | Jordi Levy | Joel Gabàs | C. Ansótegui | Jordi Levy | Joel Gabàs
[1] Felip Manyà,et al. New Inference Rules for Max-SAT , 2007, J. Artif. Intell. Res..
[2] Vasco M. Manquinho,et al. Clause Sharing in Parallel MaxSAT , 2012, LION.
[3] Josep Argelich,et al. Boolean lexicographic optimization: algorithms & applications , 2011, Annals of Mathematics and Artificial Intelligence.
[4] Felip Manyà,et al. Exploiting Cycle Structures in Max-SAT , 2009, SAT.
[5] Ofer Strichman,et al. Theory and Applications of Satisfiability Testing – SAT 2010 , 2010, Lecture Notes in Computer Science.
[6] Vasco M. Manquinho,et al. Improving Unsatisfiability-Based Algorithms for Boolean Optimization , 2010, SAT.
[7] Olivier Roussel,et al. New Encodings of Pseudo-Boolean Constraints into CNF , 2009, SAT.
[8] Albert Oliveras,et al. MiniMaxSat: A New Weighted Max-SAT Solver , 2007, SAT.
[9] Maria Luisa Bonet,et al. A New Algorithm for Weighted Partial MaxSAT , 2010, AAAI.
[10] Alessandro Cimatti,et al. Theory and Applications of Satisfiability Testing – SAT 2012 , 2012, Lecture Notes in Computer Science.
[11] Brian Borchers,et al. A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems , 1998, J. Comb. Optim..
[12] Miquel Bofill,et al. A Proposal for Solving Weighted CSPs with SMT , 2011 .
[13] Simon de Givry,et al. A logical approach to efficient Max-SAT solving , 2006, Artif. Intell..
[14] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[15] Maria Luisa Bonet,et al. SAT-based MaxSAT algorithms , 2013, Artif. Intell..
[16] Albert Oliveras,et al. On SAT Modulo Theories and Optimization Problems , 2006, SAT.
[17] Joao Marques-Silva,et al. GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.
[18] Maria Luisa Bonet,et al. On Solving MaxSAT Through SAT , 2009, CCIA.
[19] Albert Oliveras,et al. MiniMaxSAT: An Efficient Weighted Max-SAT solver , 2008, J. Artif. Intell. Res..
[20] Niklas Sörensson,et al. Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..
[21] Miyuki Koshimura,et al. QMaxSAT: A Partial Max-SAT Solver , 2012, J. Satisf. Boolean Model. Comput..
[22] Vasco M. Manquinho,et al. Exploiting Cardinality Encodings in Parallel Maximum Satisfiability , 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
[23] Joao Marques-Silva,et al. Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings , 2007, SAT.
[24] Vasco M. Manquinho,et al. Algorithms for Weighted Boolean Optimization , 2009, SAT.
[25] Joao Marques-Silva,et al. Core-Guided Binary Search Algorithms for Maximum Satisfiability , 2011, AAAI.
[26] Sharad Malik,et al. On Solving the Partial MAX-SAT Problem , 2006, SAT.
[27] Kaile Su,et al. Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving , 2007, IJCAI.
[28] Maria Luisa Bonet,et al. Improving SAT-Based Weighted MaxSAT Solvers , 2012, CP.
[29] Fahiem Bacchus,et al. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances , 2011, CP.
[30] Adrian Kügel,et al. Improved Exact Solver for the Weighted MAX-SAT Problem , 2010, POS@SAT.
[31] Joao Marques-Silva,et al. Improvements to Core-Guided Binary Search for MaxSAT , 2012, SAT.
[32] Maria Luisa Bonet,et al. Solving (Weighted) Partial MaxSAT through Satisfiability Testing , 2009, SAT.
[33] Armin Biere,et al. Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006, SAT.
[34] Xin-She Yang,et al. Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.
[35] Alberto Griggio,et al. Satisfiability Modulo the Theory of Costs: Foundations and Applications , 2010, TACAS.
[36] Oliver Kullmann,et al. Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings , 2009, SAT.
[37] Kaile Su,et al. Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving , 2008, AAAI.
[38] Ronald L. Rivest,et al. Introduction to Algorithms, third edition , 2009 .