-
1
-
-
22944450995
-
Faster exact algorithms for hard problems: A parameterized point of view
-
Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics Springer, Berlin
-
Alber, J., Gramm, J., Niedermeier, R.: Faster exact algorithms for hard problems: a parameterized point of view. In: Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics. LNCS, pp. 168-185. Springer, Berlin (1998)
-
(1998)
LNCS
, pp. 168-185
-
-
Alber, J.1
Gramm, J.2
Niedermeier, R.3
-
2
-
-
9444244234
-
Improved branch and bound algorithms for Max-SAT
-
S. Margherita Ligure - Portofino, Italy
-
Alsinet, T., Manyà, F., Planes, J.: Improved branch and bound algorithms for Max-SAT. In: Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing. S. Margherita Ligure - Portofino, Italy (2003).
-
(2003)
Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing
-
-
Alsinet, T.1
Manyà, F.2
Planes, J.3
-
3
-
-
84948952917
-
Reactive search, a history-sensitive heuristic for MAX-SAT
-
Art. 2
-
Battiti, R., Protasi, M.: Reactive search, a history-sensitive heuristic for MAX-SAT. ACM J. Exp. Algorithms, 2, Art. 2(1997)
-
(1997)
ACM J. Exp. Algorithms
, pp. 2
-
-
Battiti, R.1
Protasi, M.2
-
4
-
-
0007980271
-
A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
-
Borchers B. and Furman J. (1999). A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. J. Combi. Optim 2: 299-306
-
(1999)
J. Combi. Optim
, vol.2
, pp. 299-306
-
-
Borchers, B.1
Furman, J.2
-
5
-
-
0346268214
-
A linear programming and rounding approach to MAX-2-SAT
-
Johnson D., Trick M. (eds.), Cliques, Coloring and Satisfiability American Mathematical Society, Providence, USA
-
Cheriyan, J., Cunningham, W., Tunçel, L., Wang, Y.: A linear programming and rounding approach to MAX-2-SAT. In: Johnson D., Trick M. (eds.), Cliques, Coloring and Satisfiability, Vol. 26 of DIMACS, pp. 395-414. American Mathematical Society, Providence, USA (1996)
-
(1996)
DIMACS
, vol.26
, pp. 395-414
-
-
Cheriyan, J.1
Cunningham, W.2
Tunçel, L.3
Wang, Y.4
-
6
-
-
84919401135
-
A machine program for theorem-proving
-
Davis M., Logemann G. and Loveland D. (1962). A machine program for theorem-proving. Commun. ACM 5: 394-397
-
(1962)
Commun. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
7
-
-
85027123851
-
Approximating the value of two proper proof systems, with applications to MAX-2SAT and MAX-DICUT
-
Tel Aviv, Israel
-
Feige, U., Goemans, M.: Approximating the value of two proper proof systems, with applications to MAX-2SAT and MAX-DICUT. In: Proceedings of the 3rd Israel Symposium on Theory of Computing and Systems, pp. 182-189. Tel Aviv, Israel (1995)
-
(1995)
Proceedings of the 3rd Israel Symposium on Theory of Computing and Systems
, pp. 182-189
-
-
Feige, U.1
Goemans, M.2
-
8
-
-
33749572862
-
Solving Max-SAT as weighted CSP
-
Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP-2003, Kinsale, Ireland, Springer, Berlin
-
de Givry, S., Larrosa, J., Meseguer, P., Schiex, T.: Solving Max-SAT as weighted CSP. In: Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP-2003, Kinsale, Ireland, LNCS 2833, pp. 363-376. Springer, Berlin (2003)
-
(2003)
LNCS
, vol.2833
, pp. 363-376
-
-
De Givry, S.1
Larrosa, J.2
Meseguer, P.3
Schiex, T.4
-
9
-
-
84893574327
-
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
-
6
-
Goemans M. and Williamson D. (1995). Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. Assoc. Comput. Mach 42(6): 1115-1145
-
(1995)
J. Assoc. Comput. Mach
, vol.42
, pp. 1115-1145
-
-
Goemans, M.1
Williamson, D.2
-
10
-
-
0025260212
-
Algorithms for the maximum satisfiability problem
-
Hansen P. and Jaumard B. (1990). Algorithms for the maximum satisfiability problem. Computing 44: 279-303
-
(1990)
Computing
, vol.44
, pp. 279-303
-
-
Hansen, P.1
Jaumard, B.2
-
11
-
-
0003983607
-
Cliques, coloring, and satisfiability: Second DIMACS implementation challenge
-
Johnson D., Trick, M. (eds) American Mathematical Society, Providence, USA
-
Johnson, D., Trick, M. (eds): Cliques, coloring, and Satisfiability: second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, Providence, USA (1996)
-
(1996)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
-
-
-
12
-
-
0000234006
-
Solving propositional satisfiability problems
-
Jeroslow R.G. and Wang J. (1990). Solving propositional satisfiability problems. Ann. Math. Artif. Intell. 1: 167-187
-
(1990)
Ann. Math. Artif. Intell.
, vol.1
, pp. 167-187
-
-
Jeroslow, R.G.1
Wang, J.2
-
13
-
-
2342565858
-
A branch and cut algorithm for MAX-SAT and weighted MAX-SAT
-
Rutgers University, NJ, USA
-
Joy, S., Mitchell, J., Borchers, B.: A branch and cut algorithm for MAX-SAT and weighted MAX-SAT. In: Proceedings of the DIMACS Workshop on Satisfiability: theory and Applications, Rutgers University, NJ, USA (1996)
-
(1996)
Proceedings of the DIMACS Workshop on Satisfiability: Theory and Applications
-
-
Joy, S.1
Mitchell, J.2
Borchers, B.3
-
15
-
-
84948992651
-
Look-ahead versus look-back for satisfiability problems
-
Proceedings of the 3rd International Conference on Principles of Constraint Programming, CP'97Linz, Austria Springer, Berlin
-
Li, C.M., Anbulagan, A.: Look-ahead versus look-back for satisfiability problems. In: Proceedings of the 3rd International Conference on Principles of Constraint Programming, CP'97, Linz, Austria, LNCS 1330, pp. 341-355. Springer, Berlin (1997)
-
(1997)
LNCS
, vol.1330
, pp. 341-355
-
-
Li, C.M.1
Anbulagan, A.2
-
16
-
-
0003291209
-
Automated theorem proving. A logical basis
-
North-Holland, Amsterdam
-
Loveland, D.W.: Automated Theorem Proving. A Logical Basis, volume 6 of Fundamental Studies in Computer Science. North-Holland, Amsterdam (1978)
-
(1978)
Fundamental Studies in Computer Science
, vol.6
-
-
Loveland, D.W.1
-
17
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, CA, USA AAAI Press
-
Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of SAT problems. In: Proceedings of the 10th National Conference on Artificial Intelligence, AAAI'92, San Jose, CA, USA, pp. 459-465. AAAI Press (1992)
-
(1992)
Proceedings of the 10th National Conference on Artificial Intelligence, AAAI'92
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
18
-
-
0346676595
-
New upper bounds for maximum satisfiability
-
Niedermeier R. and Rossmanith P. (2000). New upper bounds for maximum satisfiability. J. Algorithms 36: 63-88
-
(2000)
J. Algorithms
, vol.36
, pp. 63-88
-
-
Niedermeier, R.1
Rossmanith, P.2
-
19
-
-
22944436303
-
Efficiency and stability of hypergraph SAT algorithms
-
Rutgers University, NJ, USA
-
Pretolani, D.: Efficiency and stability of hypergraph SAT algorithms. In: Proceedings of the DIMACS Challenge II Workshop. Rutgers University, NJ, USA (1993)
-
(1993)
Proceedings of the DIMACS Challenge II Workshop
-
-
Pretolani, D.1
-
20
-
-
0005367165
-
Approximate solutions of weighted MAX-SAT problems using GRASP
-
Du, D.-Z., Gu, J., Pardalos, P. (eds) Satisfiability Problem: theory and aplications American Mathematical Society, Providence, USA
-
Resende, M., Pitsoulis, L., Pardalos, P.: Approximate solutions of weighted MAX-SAT problems using GRASP. In: Du, D.-Z., Gu, J., Pardalos, P. (eds) Satisfiability Problem: theory and aplications, vol. 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 393-405. American Mathematical Society, Providence, USA (1997)
-
(1997)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, vol.35
, pp. 393-405
-
-
Resende, M.1
Pitsoulis, L.2
Pardalos, P.3
-
21
-
-
0002503033
-
FORTRAN subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP
-
1.2
-
Resende M., Pitsoulis L. and Pardalos P. (2000). FORTRAN subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP. Discrete Appl. Math. 100(1.2): 95-113
-
(2000)
Discrete Appl. Math.
, vol.100
, pp. 95-113
-
-
Resende, M.1
Pitsoulis, L.2
Pardalos, P.3
-
22
-
-
0028574681
-
-
Proceedings of the 12th National Conference on Artificial Intelligence, AAAI'94 Seattle, WA, USA AAAI Press
-
Selman, B., Kautz, H., Cohen, B.: Noise Strategies for Improving Local Search. In: Proceedings of the 12th National Conference on Artificial Intelligence, AAAI'94, Seattle, WA, USA, pp. 337-343. AAAI Press (1994)
-
(1994)
Noise Strategies for Improving Local Search
, pp. 337-343
-
-
Selman, B.1
Kautz, H.2
Cohen, B.3
-
23
-
-
0027001335
-
A new method for solving hard satisfiability problems
-
San Jose/CA, USA AAAI Press
-
Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. In: Proceedings of the 10th National Conference on Artificial Intelligence, AAAI'92, San Jose/CA, USA, pp. 440-446. AAAI Press (1992)
-
(1992)
Proceedings of the 10th National Conference on Artificial Intelligence, AAAI'92
, pp. 440-446
-
-
Selman, B.1
Levesque, H.2
Mitchell, D.3
-
24
-
-
26444606675
-
-
Technical Report AIDA-01-02, FG Intellektik, FB Informatik, TU Darmstadt, Germany
-
Stützle, T., Hoos, H., Roli, A.: A review of the literature on local search algorithms for MAX-SAT. Technical Report AIDA-01-02, FG Intellektik, FB Informatik, TU Darmstadt, Germany (2001)
-
(2001)
A Review of the Literature on Local Search Algorithms for MAX-SAT
-
-
Stützle, T.1
Hoos, H.2
Roli, A.3
-
25
-
-
0346834607
-
Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems
-
Johnson, D., Trick, M. (eds.) American Mathematical Society. Providence, USA
-
Wallace, R., Freuder, E.: Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. In: Johnson, D., Trick, M. (eds.) Cliques, Coloring and Satisfiability, vol. 26, pp. 587-615. American Mathematical Society. Providence, USA (1996)
-
(1996)
Cliques, Coloring and Satisfiability
, vol.26
, pp. 587-615
-
-
Wallace, R.1
Freuder, E.2
-
26
-
-
33646192504
-
Efficient strategies for (weighted) maximum satisfiability
-
Toronto, Canada
-
Xing, Z., Zhang, W.: Efficient strategies for (weighted) maximum satisfiability. In: Proceedings of CP-2004, pp. 690-705. Toronto, Canada (2004)
-
(2004)
Proceedings of CP-2004
, pp. 690-705
-
-
Xing, Z.1
Zhang, W.2
-
28
-
-
18944374582
-
Exact algorithms for MAX-SAT
-
Zhang, H., Shen, H., Manyà, F.: Exact algorithms for MAX-SAT. Electron. Notes Theor. Comput. Sci. 86(1) 190-203 (2003)
-
(2003)
Electron. Notes Theor. Comput. Sci.
, vol.86
, Issue.1
, pp. 190-203
-
-
Zhang, H.1
Shen, H.2
Manyà, F.3
-
29
-
-
0035209012
-
Efficient conflict driven learning in a Boolean satisfiability solver
-
San Jose/CA, USA
-
Zhang, L., Madigan, C., Moskewicz, M., Malik, S.: Efficient conflict driven learning in a Boolean satisfiability solver. In: Proceedings of the International Conference on Computer Aided Design, ICCAD-2001, San Jose/CA, USA, pp. 279-285 (2001)
-
(2001)
Proceedings of the International Conference on Computer Aided Design, ICCAD-2001
, pp. 279-285
-
-
Zhang, L.1
Madigan, C.2
Moskewicz, M.3
Malik, S.4
|