Exact Algorithms for MAX-SAT
暂无分享,去创建一个
[1] Eugene C. Freuder,et al. Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems , 1993, Cliques, Coloring, and Satisfiability.
[2] Jordi Planes. Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT , 2003, CP.
[3] Jon M. Kleinberg,et al. A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search , 2002, Theor. Comput. Sci..
[4] Igor L. Markov,et al. Generic ILP versus specialized 0-1 ILP: an update , 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
[5] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[6] Pierre Hansen,et al. Algorithms for the maximum satisfiability problem , 1987, Computing.
[7] Rolf Niedermeier,et al. New Upper Bounds for Maximum Satisfiability , 2000, J. Algorithms.
[8] Jinchang Wang,et al. Solving propositional satisfiability problems , 1990, Annals of Mathematics and Artificial Intelligence.
[9] Rolf Niedermeier,et al. New Worst-Case Upper Bounds for MAX-2-SAT with Application to MAX-CUT , 2000, Electron. Colloquium Comput. Complex..
[10] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[11] Rolf Niedermeier,et al. Faster exact algorithms for hard problems: A parameterized point of view , 2001, Discret. Math..
[12] Edward A. Hirsch,et al. A New Algorithm for MAX-2-SAT , 2000, STACS.
[13] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .
[14] Hantao Zhang,et al. An Empirical Study of MAX-2-SAT Phase Transitions , 2003, Electron. Notes Discret. Math..
[15] Dorit S. Hochbaum,et al. Approximation Algorithms for NP-Hard Problems , 1996 .
[16] Brian Borchers,et al. A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems , 1998, J. Comb. Optim..
[17] William H. Cunningham,et al. A linear programming and rounding approach to max 2-sat , 1993, Cliques, Coloring, and Satisfiability.
[18] Rolf Niedermeier,et al. Some Prospects for Efficient Fixed Parameter Algorithms , 1998, SOFSEM.
[19] Edward A. Hirsch,et al. New Worst-Case Upper Bounds for SAT , 2000, Journal of Automated Reasoning.
[20] Venkatesh Raman,et al. Upper Bounds for MaxSat: Further Improved , 1999, ISAAC.
[21] Meena Mahajan,et al. Parametrizing Above Guaranteed Values: MaxSat and MaxCut , 1997, Electron. Colloquium Comput. Complex..
[22] Teresa Alsinet,et al. Improved branch and bound algorithms for Max-SAT , 2003 .