On Solving MaxSAT Through SAT
暂无分享,去创建一个
[1] Zhaohui Fu. Extending the power of Boolean satisfiability solvers: Techniques and applications , 2007 .
[2] Armin Biere,et al. PicoSAT Essentials , 2008, J. Satisf. Boolean Model. Comput..
[3] Maria Luisa Bonet,et al. Solving (Weighted) Partial MaxSAT through Satisfiability Testing , 2009, SAT.
[4] Vasco M. Manquinho,et al. Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms , 2008, SAT.
[5] Josep Argelich,et al. The First and Second Max-SAT Evaluations , 2008, J. Satisf. Boolean Model. Comput..
[6] Joao Marques-Silva,et al. On Using Unsatisfiability for Solving Maximum Satisfiability , 2007, ArXiv.
[7] Sharad Malik,et al. On Solving the Partial MAX-SAT Problem , 2006, SAT.
[8] Carsten Sinz,et al. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints , 2005, CP.
[9] Joao Marques-Silva,et al. Algorithms for Maximum Satisfiability using Unsatisfiable Cores , 2008, 2008 Design, Automation and Test in Europe.