-
2
-
-
0030118598
-
PSATO: A distributed propositional prover and its application to quasigroup problems
-
Zhang, H., Bonacina, M., Hsiang, J.: PSATO: A distributed propositional prover and its application to quasigroup problems. Journal of Symbolic Computation 21(4), 543-560 (1996)
-
(1996)
Journal of Symbolic Computation
, vol.21
, Issue.4
, pp. 543-560
-
-
Zhang, H.1
Bonacina, M.2
Hsiang, J.3
-
3
-
-
18144380738
-
A parallelization scheme based on work stealing for a class of SAT solvers
-
Jurkowiak, B., Li, C., Utard, G.: A parallelization scheme based on work stealing for a class of SAT solvers. Journal of Automated Reasoning 34(1), 73-101 (2005)
-
(2005)
Journal of Automated Reasoning
, vol.34
, Issue.1
, pp. 73-101
-
-
Jurkowiak, B.1
Li, C.2
Utard, G.3
-
4
-
-
16244393413
-
Parallel multithreaded satisfiability solver: Design and implementation
-
Feldman, Y., Dershowitz, N., Hanna, Z.: Parallel multithreaded satisfiability solver: Design and implementation. Electronic Notes in Theoretical Computer Science 128(3), 75-90 (2005)
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.128
, Issue.3
, pp. 75-90
-
-
Feldman, Y.1
Dershowitz, N.2
Hanna, Z.3
-
5
-
-
34247093925
-
PaSAT - Parallel SAT-checking with lemma exchange: Implementation and applications
-
SAT, Elsevier, Amsterdam
-
Sinz, C., Blochinger, W., Küchlin, W.: PaSAT - Parallel SAT-checking with lemma exchange: Implementation and applications. In: SAT 2001. Electronic Notes in Discrete Mathematics, vol. 9, pp. 12-13. Elsevier, Amsterdam (2001)
-
(2001)
Electronic Notes in Discrete Mathematics
, vol.9
, pp. 12-13
-
-
Sinz, C.1
Blochinger, W.2
Küchlin, W.3
-
6
-
-
34547792410
-
PaMira - a parallel SAT solver with knowledge sharing. In: MVT
-
Los Alamitos
-
Schubert, T., Lewis, M., Becker, B.: PaMira - a parallel SAT solver with knowledge sharing. In: MVT 2005, pp. 29-36. IEEE Computer Society Press, Los Alamitos (2005)
-
(2005)
29-36. IEEE Computer Society Press
, pp. 2005
-
-
Schubert, T.1
Lewis, M.2
Becker, B.3
-
8
-
-
33749540946
-
-
Hyvärinen, A.E.J., Junttila, T., Niemelä, I.: A distribution method for solving SAT in grids. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, 4121, pp. 430-435. Springer, Heidelberg (2006)
-
Hyvärinen, A.E.J., Junttila, T., Niemelä, I.: A distribution method for solving SAT in grids. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 430-435. Springer, Heidelberg (2006)
-
-
-
-
9
-
-
52149113357
-
-
Forman, S., Segre, A.: NAGSAT: A randomized, complete, parallel solver for 3-SAT. In: SAT (2002), http://gauss.ececs.uc.edu/Conferences/SAT2002/ sat2002list.html
-
Forman, S., Segre, A.: NAGSAT: A randomized, complete, parallel solver for 3-SAT. In: SAT (2002), http://gauss.ececs.uc.edu/Conferences/SAT2002/ sat2002list.html
-
-
-
-
10
-
-
33749561549
-
-
Blochinger, W., Westje, W., Küchlin, W., Wedeniwski, S.: ZetaSAT - Boolean satisfiability solving on desktop grids. In: CCGrid 2005, pp. 1079-1086. IEEE, Los Alamitos (2005)
-
Blochinger, W., Westje, W., Küchlin, W., Wedeniwski, S.: ZetaSAT - Boolean satisfiability solving on desktop grids. In: CCGrid 2005, pp. 1079-1086. IEEE, Los Alamitos (2005)
-
-
-
-
11
-
-
84877074765
-
GridSAT: A chaff-based distributed SAT solver for the grid
-
Los Alamitos
-
Chrabakh, W., Wolski, R.: GridSAT: A chaff-based distributed SAT solver for the grid. In: SC 2003. IEEE, Los Alamitos (2003)
-
(2003)
SC 2003. IEEE
-
-
Chrabakh, W.1
Wolski, R.2
-
12
-
-
33747815373
-
A competitive and cooperative approach to propositional satisfiability
-
Inoue, K., Soh, T., Ueda, S., Sasaura, Y., Banbara, M., Tamura, N.: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics 154(16), 2291- 2306 (2006)
-
(2006)
Discrete Applied Mathematics
, vol.154
, Issue.16
, pp. 2291-2306
-
-
Inoue, K.1
Soh, T.2
Ueda, S.3
Sasaura, Y.4
Banbara, M.5
Tamura, N.6
-
13
-
-
0034852165
-
-
DAC, ACM Press, New York 2001
-
Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: DAC 2001, pp. 530-535. ACM Press, New York (2001)
-
(2001)
Chaff: Engineering an efficient SAT solver
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
14
-
-
30344450270
-
-
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, 2919, pp. 502-518. Springer, Heidelberg (2004)
-
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502-518. Springer, Heidelberg (2004)
-
-
-
-
15
-
-
84881072062
-
A computing procedure for quantification theory
-
Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM 7(3), 201-215 (1960)
-
(1960)
Journal of the ACM
, vol.7
, Issue.3
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
16
-
-
84919401135
-
A machine program for theorem proving
-
Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM 5(7), 394-397 (1962)
-
(1962)
Communications of the ACM
, vol.5
, Issue.7
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
17
-
-
0032680865
-
GRASP: A search algorithm for propositional satisfiability
-
Marques-Silva, J.P., Sakallah, K.A.: GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48(5), 506-521 (1999)
-
(1999)
IEEE Transactions on Computers
, vol.48
, Issue.5
, pp. 506-521
-
-
Marques-Silva, J.P.1
Sakallah, K.A.2
-
18
-
-
0035209012
-
-
Zhang, L., Madigan, C.F., Moskewicz, M.W., Malik, S.: Efficient conflict driven learning in boolean satisfiability solver. In: ICCAD 2001, pp. 279-285. ACM Press, New York (2001)
-
Zhang, L., Madigan, C.F., Moskewicz, M.W., Malik, S.: Efficient conflict driven learning in boolean satisfiability solver. In: ICCAD 2001, pp. 279-285. ACM Press, New York (2001)
-
-
-
-
19
-
-
0034140167
-
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
-
Gomes, C.P., Selman, B., Crato, N., Kautz, H.A.: Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning 24(1/2), 67-100 (2000)
-
(2000)
Journal of Automated Reasoning
, vol.24
, Issue.1-2
, pp. 67-100
-
-
Gomes, C.P.1
Selman, B.2
Crato, N.3
Kautz, H.A.4
-
20
-
-
33750724539
-
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques
-
Haanpää, H., Järvisalo, M., Kaski, P., Niemelä, I.: Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Journal on Satisfiability, Boolean Modeling and Computation 2, 27-64 (2006)
-
(2006)
Journal on Satisfiability, Boolean Modeling and Computation
, vol.2
, pp. 27-64
-
-
Haanpää, H.1
Järvisalo, M.2
Kaski, P.3
Niemelä, I.4
-
21
-
-
52149121431
-
-
A Computer Program
-
Hyvärinen, A.E.J.: GridJM. A Computer Program, http://www.tcs.hut. fi/∼aehyvari/gridjm/
-
GridJM
-
-
Hyvärinen, A.E.J.1
|