Solving (Weighted) Partial MaxSAT through Satisfiability Testing
暂无分享,去创建一个
[1] Gilles Dequen,et al. On Inconsistent Clause-Subsets for Max-SAT Solving , 2007, CP.
[2] Vasco M. Manquinho,et al. Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms , 2008, SAT.
[3] Josep Argelich,et al. Partial Max-SAT Solvers with Clause Learning , 2007, SAT.
[4] Adnan Darwiche,et al. Clone: Solving Weighted Max-SAT in a Reduced Search Space , 2007, Australian Conference on Artificial Intelligence.
[5] Kaile Su,et al. Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving , 2008, AAAI.
[6] Armin Biere,et al. PicoSAT Essentials , 2008, J. Satisf. Boolean Model. Comput..
[7] Peter van Beek,et al. Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.
[8] Joao Marques-Silva,et al. On Using Unsatisfiability for Solving Maximum Satisfiability , 2007, ArXiv.
[9] Carsten Sinz,et al. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints , 2005, CP.
[10] Albert Oliveras,et al. MiniMaxSat: A New Weighted Max-SAT Solver , 2007, SAT.
[11] Carlos Ansótegui,et al. Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables , 2004, SAT.
[12] Josep Argelich,et al. The First and Second Max-SAT Evaluations , 2008, J. Satisf. Boolean Model. Comput..
[13] Kaile Su,et al. Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving , 2007, IJCAI.
[14] 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.
[15] Joao Marques-Silva,et al. Algorithms for Maximum Satisfiability using Unsatisfiable Cores , 2008, 2008 Design, Automation and Test in Europe.
[16] Javier Larrosa,et al. New Inference Rules for Efficient Max-SAT Solving , 2006, AAAI.
[17] Felip Manyà,et al. New Inference Rules for Max-SAT , 2007, J. Artif. Intell. Res..
[18] Christian Bessière. Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.
[19] Zhaohui Fu. Extending the power of Boolean satisfiability solvers: Techniques and applications , 2007 .
[20] Hans Kleine Büning,et al. Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings , 2008, SAT.
[21] 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.
[22] Sharad Malik,et al. On Solving the Partial MAX-SAT Problem , 2006, SAT.