-
1
-
-
0031365466
-
Using CSP Look-Back Techniques to Solve Real-World SAT Instances
-
R.J. Bayardo and R.C. Schrag. Using CSP Look-Back Techniques to Solve Real-World SAT Instances. In proceedings AAAI'97, pages 203-208, 1997.
-
(1997)
Proceedings AAAI'97
, pp. 203-208
-
-
Bayardo, R.J.1
Schrag, R.C.2
-
2
-
-
85158157432
-
Solving the round robin problem using propositional logic
-
Austin, Texas
-
R. Béjar and F. Manya. Solving the round robin problem using propositional logic. In Proceedings of AAAI'2000, pages 262-266, Austin, Texas, 2000.
-
(2000)
Proceedings of AAAI'2000
, pp. 262-266
-
-
Béjar, R.1
Manya, F.2
-
4
-
-
85059770931
-
The Complexity of Theorem Proving Procedures
-
S.A. Cook. The Complexity of Theorem Proving Procedures. In 3rd ACM Symp. on Theory of Computing, pages 151-158, 1971.
-
(1971)
3rd ACM Symp. on Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
5
-
-
0030108241
-
Experimental Results on the Crossover Point in random 3-SAT
-
J.M. Crawford and L.D. Auton. Experimental Results on the Crossover Point in random 3-SAT. Artificial Intelligence, 81, 1996.
-
(1996)
Artificial Intelligence
, vol.81
-
-
Crawford, J.M.1
Auton, L.D.2
-
7
-
-
0001259989
-
-
Rutgers University, NJ
-
O. Dubois, P. Andre, Y. Boufkhad, and J. Carlier. SAT versus UNSAT. Second DIMACS Challenge: Cliques, Coloring and Satisfiability. In Rutgers University, NJ, 1993.
-
(1993)
SAT Versus UNSAT. Second DIMACS Challenge: Cliques, Coloring and Satisfiability
-
-
Dubois, O.1
Andre, P.2
Boufkhad, Y.3
Carlier, J.4
-
9
-
-
0027706281
-
Towards an understanding of hill-climbing procedures for SAT
-
I. Gent and T. Walsh. Towards an understanding of hill-climbing procedures for SAT. In proceedings AAAI-93, 1993.
-
(1993)
Proceedings AAAI-93
-
-
Gent, I.1
Walsh, T.2
-
10
-
-
33847141924
-
Xtremweb: Building an experimental platform for Global Computing
-
C Germain, V. Néri, G. Fedak, and F. Cappello. Xtremweb: building an experimental platform for Global Computing. In Grid2000, 2000.
-
(2000)
Grid2000
-
-
Germain, C.1
Néri, V.2
Fedak, G.3
Cappello, F.4
-
12
-
-
85031466249
-
-
http://www.intellektik.informatik.tu-darmstadt.de/satlib.
-
-
-
-
13
-
-
0030352389
-
Pushing the envelope: Planing, propositional logic, and stochastic search
-
Portland, Oregon, 4-8 August
-
H. Kautz and B. Selman. Pushing the envelope : Planing, propositional logic, and stochastic search. In Proceedings of AAAI'96, Portland, Oregon, 4-8 August 1996.
-
(1996)
Proceedings of AAAI'96
-
-
Kautz, H.1
Selman, B.2
-
14
-
-
0042796575
-
A constraint-based approach to narrow search trees for satisfiability
-
C.M. Li. A constraint-based approach to narrow search trees for satisfiability. Information Processing Letters, 71:75-80, 1999.
-
(1999)
Information Processing Letters
, vol.71
, pp. 75-80
-
-
Li, C.M.1
-
15
-
-
0000076111
-
Heuristic based on unit propagation for satisfiability problems
-
Nagoya, Japan, August
-
C.M. Li and Anbulagan. Heuristic based on unit propagation for satisfiability problems. In Proceedings IJCAI'97, pages 366-371, Nagoya, Japan, August 1997.
-
(1997)
Proceedings IJCAI'97
, pp. 366-371
-
-
Li, C.M.1
Anbulagan2
-
18
-
-
0027002161
-
Hard and Easy Distributions of SAT Problems
-
San Jose, CA
-
D. Mitchell, B. Selman, and H. Levesque. Hard and Easy Distributions of SAT Problems. In proceedings AAAI'92, pages 459-465, San Jose, CA, 1992.
-
(1992)
Proceedings AAAI'92
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
20
-
-
84880687355
-
Ten Challenges in Propositional Reasoning and Search
-
B. Selman, H. Kautz, and D. McAllester. Ten Challenges in Propositional Reasoning and Search. In proceedings IJCAI-97, pages 50-54, 1997.
-
(1997)
Proceedings IJCAI-97
, pp. 50-54
-
-
Selman, B.1
Kautz, H.2
McAllester, D.3
-
21
-
-
0027001335
-
A new Method for Solving Hard Satisfiability Problems
-
B. Selman, D. Mitchell, and H. Levesque. A new Method for Solving Hard Satisfiability Problems. In proceedings AAAI'92, pages 440-446, 1992.
-
(1992)
Proceedings AAAI'92
, pp. 440-446
-
-
Selman, B.1
Mitchell, D.2
Levesque, H.3
-
22
-
-
0001340960
-
On the complexity of derivation in propositional calculus
-
A. O. Slisenko, ed. (translated from Russian), Consultants Bureau, New York
-
G.S. Tseitin. On the complexity of derivation in propositional calculus. In A. O. Slisenko, ed. Studies in constructive mathematics and mathematical logic, Part II (translated from Russian), pages 115-125, Consultants Bureau, New York, 1970.
-
(1970)
Studies in Constructive Mathematics and Mathematical Logic
, Issue.2 PART
, pp. 115-125
-
-
Tseitin, G.S.1
-
24
-
-
0030118598
-
PSATO: A Distributed Propositional Prover and Its Applications to Quasigroup Problems
-
H. Zhang, M.P. Bonacina, and J. Hsiang. PSATO: a Distributed Propositional Prover and Its Applications to Quasigroup Problems. J. Symbolic Computation, 1996.
-
(1996)
J. Symbolic Computation
-
-
Zhang, H.1
Bonacina, M.P.2
Hsiang, J.3
|