-
2
-
-
27344455409
-
Using randomization and learning to solve hard real-world instances of satisfiability
-
ed. R. Dechter, Lecture Notes in Computer Science
-
L. Baptista and J.P. Marques-Silva, Using randomization and learning to solve hard real-world instances of satisfiability, in: International Conference on Principles and Practice of Constraint Programming, ed. R. Dechter, Lecture Notes in Computer Science, Vol. 1894 (2000) pp. 489-494.
-
(2000)
International Conference on Principles and Practice of Constraint Programming
, vol.1894
, pp. 489-494
-
-
Baptista, L.1
Marques-Silva, J.P.2
-
7
-
-
0344145288
-
Satisfiability testing with more reasoning and less guessing
-
eds. D.S. Johnson and M.A. Trick American Mathematical Society
-
A.V. Gelder and Y.K. Tsuji, Satisfiability testing with more reasoning and less guessing, in: Second DIMACS Implementation Challenge, eds. D.S. Johnson and M.A. Trick (American Mathematical Society, 1993).
-
(1993)
Second DIMACS Implementation Challenge
-
-
Gelder, A.V.1
Tsuji, Y.K.2
-
9
-
-
0042851778
-
The propositional formula Checker Heerhugo
-
eds. I. Gent, H. van Maaren and T. Walsh IOS Press
-
J.F. Groote and J.P. Warners, The propositional formula Checker Heerhugo, in: Proceedings of SAT 2000, eds. I. Gent, H. van Maaren and T. Walsh (IOS Press, 2000) pp. 261-281.
-
(2000)
Proceedings of SAT 2000
, pp. 261-281
-
-
Groote, J.F.1
Warners, J.P.2
-
11
-
-
84861431321
-
Algebraic simplification techniques for propositional satisfiability
-
ed. R. Dechter, Lecture Notes in Computer Science
-
J.P. Marques-Silva, Algebraic simplification techniques for propositional satisfiability, in: International Conference on Principles and Practice of Constraint Programming, ed. R. Dechter, Lecture Notes in Computer Science, Vol. 1894 (2000) pp. 537-542.
-
(2000)
International Conference on Principles and Practice of Constraint Programming
, vol.1894
, pp. 537-542
-
-
Marques-Silva, J.P.1
-
14
-
-
0034852165
-
Engineering an efficient SAT solver
-
N. Moskewicz, C. Madigan, Y. Zhao, L. Zhang and S. Malik, Engineering an efficient SAT solver, in: Proceedings of the Design Automation Conference (2001) pp. 530-535.
-
(2001)
Proceedings of the Design Automation Conference
, pp. 530-535
-
-
Moskewicz, N.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
18
-
-
0041414357
-
Implementing the Davis-Putnam method
-
eds. I. Gent, H. van Maaren and T. Walsh IOS Press
-
H. Zhang and M. Stickel, Implementing the Davis-Putnam method, in: Proceedings of SAT 2000, eds. I. Gent, H. van Maaren and T. Walsh (IOS Press, 2000) pp. 309-326.
-
(2000)
Proceedings of SAT 2000
, pp. 309-326
-
-
Zhang, H.1
Stickel, M.2
|