-
1
-
-
35048892848
-
-
Williams, R.: On computing k-CNF formula properties. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, 2919, pp. 330-340. Springer, Heidelberg (2004)
-
Williams, R.: On computing k-CNF formula properties. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 330-340. Springer, Heidelberg (2004)
-
-
-
-
2
-
-
0001038743
-
Algorithms for maximum independent sets
-
Robson, J.: Algorithms for maximum independent sets. Journal of Algorithms 7(3), 425-440 (1986)
-
(1986)
Journal of Algorithms
, vol.7
, Issue.3
, pp. 425-440
-
-
Robson, J.1
-
3
-
-
0032680865
-
Grasp: A search algorithm for propositional satisfiability
-
Marques-Silva, J., Sakallah, K.: Grasp: a search algorithm for propositional satisfiability. IEEE Transactionon Computers 48(5), 506-521 (1999)
-
(1999)
IEEE Transactionon Computers
, vol.48
, Issue.5
, pp. 506-521
-
-
Marques-Silva, J.1
Sakallah, K.2
-
4
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: Proceedings of the 38th Design Automation Conference, pp. 530-535 (2001)
-
(2001)
Proceedings of the 38th Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
5
-
-
84937410369
-
Sato: An efficient propositional prover
-
McCune, W, ed, Automated Deduction, CADE-14, Springer, Heidelberg
-
Zhang, H.: Sato: An efficient propositional prover. In: McCune, W. (ed.) Automated Deduction - CADE-14. LNCS, vol. 1249, pp. 272-275. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1249
, pp. 272-275
-
-
Zhang, H.1
-
6
-
-
0042014372
-
Memoization and DPLL: Formula caching proof systems
-
IEEE Computer Society Press, Los Alamitos
-
Beame, P., Impagliazzo, R., Pitassi, T., Segerlind, N.: Memoization and DPLL: formula caching proof systems. In: Proceedings of 18th IEEE Annual Conference on Computational Complexity, pp. 248-259. IEEE Computer Society Press, Los Alamitos (2003)
-
(2003)
Proceedings of 18th IEEE Annual Conference on Computational Complexity
, pp. 248-259
-
-
Beame, P.1
Impagliazzo, R.2
Pitassi, T.3
Segerlind, N.4
-
7
-
-
33749557939
-
-
n) time. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, 4121, pp. 266-276. Springer, Heidelberg (2006)
-
n) time. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 266-276. Springer, Heidelberg (2006)
-
-
-
-
8
-
-
32044459865
-
A new algorithm for optimal 2-constraint satisfaction and its implications
-
Williams, R.: A new algorithm for optimal 2-constraint satisfaction and its implications. Theoretical Computer Science 348, 357-365 (2005)
-
(2005)
Theoretical Computer Science
, vol.348
, pp. 357-365
-
-
Williams, R.1
-
9
-
-
29744467608
-
New upper bounds for MaxSat
-
Wiedermann, J, van Emde Boas, P, Nielsen, M, eds, ICALP 1999, Springer, Heidelberg
-
Niedermeier, R., Rossmanith, P.: New upper bounds for MaxSat. In: Wiedermann, J., van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 575-585. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1644
, pp. 575-585
-
-
Niedermeier, R.1
Rossmanith, P.2
-
10
-
-
85088721455
-
-
k/4-time algorithm for MAX-2-SAT: Corrected version. ECCC Report TR99-036, Revision 02 (2000)
-
k/4-time algorithm for MAX-2-SAT: Corrected version. ECCC Report TR99-036, Revision 02 (2000)
-
-
-
-
11
-
-
0042014171
-
Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT
-
Gramm, J., Hirsch, E.A., Niedermeier, R., Rossmanith, P.: Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT. Discrete Applied Mathematics 130(2), 139-155 (2003)
-
(2003)
Discrete Applied Mathematics
, vol.130
, Issue.2
, pp. 139-155
-
-
Gramm, J.1
Hirsch, E.A.2
Niedermeier, R.3
Rossmanith, P.4
-
12
-
-
33244459054
-
Faster algorithms for MAX CUT and MAX CSP, with polynomial expected time for sparse instances
-
Arora, S, Jansen, K, Rolim, J.D.P, Sahai, A, eds, RANDOM 2003 and APPROX 2003, Springer, Heidelberg
-
Scott, A., Sorkin, G.: Faster algorithms for MAX CUT and MAX CSP, with polynomial expected time for sparse instances. In: Arora, S., Jansen, K., Rolim, J.D.P., Sahai, A. (eds.) RANDOM 2003 and APPROX 2003. LNCS, vol. 2764, pp. 382395. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2764
, pp. 382395
-
-
Scott, A.1
Sorkin, G.2
-
13
-
-
33244483816
-
A new satisfiability algorithm with applications to MaxCut
-
Technical Report AIB2005-08, Dept. of Computer Science, RWTH Aachen University
-
Kneis, J., Rossmanith, P.: A new satisfiability algorithm with applications to MaxCut. Technical Report AIB2005-08, Dept. of Computer Science, RWTH Aachen University (2005)
-
(2005)
-
-
Kneis, J.1
Rossmanith, P.2
-
15
-
-
30344483338
-
Algorithms based on the treewidth of sparse graphs
-
Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science
-
Kneis, J., Moelle, D., Richter, S., Rossmanith, P.: Algorithms based on the treewidth of sparse graphs. In: Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science. LNCS, pp. 385-396 (2005)
-
(2005)
LNCS
, pp. 385-396
-
-
Kneis, J.1
Moelle, D.2
Richter, S.3
Rossmanith, P.4
-
16
-
-
36448951225
-
Linear-programming design and analysis of fast algorithms for Max 2-SAT and Max 2-CSP
-
to appear
-
Scott, A.D., Sorkin, G.B.: Linear-programming design and analysis of fast algorithms for Max 2-SAT and Max 2-CSP. Discrete Optimization 2006 (to appear)
-
(2006)
Discrete Optimization
-
-
Scott, A.D.1
Sorkin, G.B.2
-
17
-
-
0042851791
-
Algorithms for SAT/TAUT decision based on various measures
-
Preprint
-
Kullmann, O., Luckhardt, H.: Algorithms for SAT/TAUT decision based on various measures. Preprint (1998)
-
(1998)
-
-
Kullmann, O.1
Luckhardt, H.2
-
18
-
-
26444575408
-
-
Kulikov, A.S.: Automated generation of simplification rules for SAT and MAXSAT. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, 3569, pp. 430-436. Springer, Heidelberg (2005)
-
Kulikov, A.S.: Automated generation of simplification rules for SAT and MAXSAT. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 430-436. Springer, Heidelberg (2005)
-
-
-
|