-
1
-
-
0020752112
-
Outlier.........s
-
R.J. Beckman and R.D. Cook, Outlier.........s, Technometrics 25 (2) (1983) 119-149.
-
(1983)
Technometrics
, vol.25
, Issue.2
, pp. 119-149
-
-
Beckman, R.J.1
Cook, R.D.2
-
4
-
-
0004265652
-
-
Technical Report #110, Department of Mathematics and Informatics, University of Paderborn, Germany
-
M. Buro and H. Kleine-Büning, Report on a SAT competition, Technical Report #110, Department of Mathematics and Informatics, University of Paderborn, Germany (1992).
-
(1992)
Report on a SAT Competition
-
-
Buro, M.1
Kleine-Büning, H.2
-
5
-
-
0025471827
-
Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem
-
M. Chao and J. Franco, Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem, Inform. Sci. 51 (1990) 23-42.
-
(1990)
Inform. Sci.
, vol.51
, pp. 23-42
-
-
Chao, M.1
Franco, J.2
-
6
-
-
85022201500
-
Mick gets some (the odds are on his side)
-
V. Chvatal and B. Reed, Mick gets some (the odds are on his side), in: Proceedings FOCS-92 (1992) 620-627.
-
(1992)
Proceedings FOCS-92
, pp. 620-627
-
-
Chvatal, V.1
Reed, B.2
-
7
-
-
0024090265
-
Many hard examples for resolution
-
V. Chvatal and E. Szemeredi, Many hard examples for resolution, J. ACM 35 (4) (1988) 759-208.
-
(1988)
J. ACM
, vol.35
, Issue.4
, pp. 759-1208
-
-
Chvatal, V.1
Szemeredi, E.2
-
8
-
-
0001580511
-
Where the really hard problems are
-
Sydney, Australia
-
P. Cheeseman, B. Kanefsky and W.M. Taylor, Where the really hard problems are, in: Proceedings IJCAI-91, Sydney, Australia (1991) 163-169.
-
(1991)
Proceedings IJCAI-91
, pp. 163-169
-
-
Cheeseman, P.1
Kanefsky, B.2
Taylor, W.M.3
-
10
-
-
0027708548
-
Experimental results on the cross-over point in satisfiability problems
-
Washington, DC
-
J.M. Crawford and L.D. Auton, Experimental results on the cross-over point in satisfiability problems, in: Proceedings AAAI-93, Washington, DC (1993).
-
(1993)
Proceedings AAAI-93
-
-
Crawford, J.M.1
Auton, L.D.2
-
11
-
-
84919401135
-
A machine program for theorem-proving
-
M. Davis, G. Logemann and D. Loveland, A machine program for theorem-proving, Commun. ACM 5 (1962) 394-397.
-
(1962)
Commun. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
12
-
-
84881072062
-
A computing procedure for quantification theory
-
M. Davis and H. Putnam, A computing procedure for quantification theory, J. ACM 7 (1960) 201-215.
-
(1960)
J. ACM
, vol.7
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
14
-
-
0019346375
-
Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
-
J. Franco and M. Paull, Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem, Discrete Appl. Math. 5 (1983) 77-87.
-
(1983)
Discrete Appl. Math.
, vol.5
, pp. 77-87
-
-
Franco, J.1
Paull, M.2
-
16
-
-
0040971912
-
On the complexity of regular resolution and the Davis-Putnam procedure
-
Z. Galil, On the complexity of regular resolution and the Davis-Putnam procedure, Theoret. Comput. Sci. 4 (1977) 23-46.
-
(1977)
Theoret. Comput. Sci.
, vol.4
, pp. 23-46
-
-
Galil, Z.1
-
18
-
-
0028529155
-
Easy problems are sometimes hard
-
I.P. Gent and T. Walsh, Easy problems are sometimes hard, Artif. Intell. 70 (1994) 335-345.
-
(1994)
Artif. Intell.
, vol.70
, pp. 335-345
-
-
Gent, I.P.1
Walsh, T.2
-
20
-
-
0011325906
-
On the complexity of the satisfiability problem
-
New York University, New York
-
A. Goldberg, On the complexity of the satisfiability problem, Courant Computer Science Report, No. 16, New York University, New York (1979).
-
(1979)
Courant Computer Science Report
, vol.16
-
-
Goldberg, A.1
-
21
-
-
0000076101
-
The intractability of resolution
-
A. Haken, The intractability of resolution, Theor. Comput. Sci. 39 (1985) 297-308.
-
(1985)
Theor. Comput. Sci.
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
22
-
-
0023962177
-
Resolution vs. Cutting plane solution of inference problems: Some computational experience
-
J.N. Hooker, Resolution vs. cutting plane solution of inference problems: some computational experience, Oper. Res. Lett. 7 (1) (1988) 1-7.
-
(1988)
Oper. Res. Lett.
, vol.7
, Issue.1
, pp. 1-7
-
-
Hooker, J.N.1
-
23
-
-
0000675599
-
Branch-and-cut solution of inference problems in propositional logic
-
J.N. Hooker and C. Fedjki, Branch-and-cut solution of inference problems in propositional logic, Ann. Math. Artif. Intell. 1 (1990) 123-139.
-
(1990)
Ann. Math. Artif. Intell.
, vol.1
, pp. 123-139
-
-
Hooker, J.N.1
Fedjki, C.2
-
24
-
-
0040377608
-
Computational experience with an interior point algorithm on the satisfiability problem
-
Waterloo, Ont.
-
A.P. Kamath, N.K. Karmarker, K.G. Ramakrishnan and M.G.C. Resende, Computational experience with an interior point algorithm on the satisfiability problem, in: Proceedings Integer Programming and Combinatorial Optimization, Waterloo, Ont. (1990) 333-349.
-
(1990)
Proceedings Integer Programming and Combinatorial Optimization
, pp. 333-349
-
-
Kamath, A.P.1
Karmarker, N.K.2
Ramakrishnan, K.G.3
Resende, M.G.C.4
-
26
-
-
0028434242
-
Critical behavior in the satisfiability of random Boolean expressions
-
S. Kirkpatrick and B. Selman, Critical behavior in the satisfiability of random Boolean expressions, Science 264 (1994) 1297-1301.
-
(1994)
Science
, vol.264
, pp. 1297-1301
-
-
Kirkpatrick, S.1
Selman, B.2
-
28
-
-
0030105625
-
Some pitfalls for experimenters with random SAT
-
this volume
-
D.G. Mitchell and H.J. Levesque, Some pitfalls for experimenters with random SAT, Artif. Intell. 81 111-125 (this volume).
-
Artif. Intell.
, vol.81
, pp. 111-125
-
-
Mitchell, D.G.1
Levesque, H.J.2
-
29
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, CA
-
D.G. Mitchell, B. Selman and H.J. Levesque, Hard and easy distributions of SAT problems, in: Proceedings AAAI-92, San Jose, CA (1992) 459-465.
-
(1992)
Proceedings AAAI-92
, pp. 459-465
-
-
Mitchell, D.G.1
Selman, B.2
Levesque, H.J.3
-
30
-
-
0025555090
-
A survey of average time analyses of satisfiability algorithms
-
P. Purdom, A survey of average time analyses of satisfiability algorithms, J. Inform. Process. 13 (4) (1990).
-
(1990)
J. Inform. Process.
, vol.13
, Issue.4
-
-
Purdom, P.1
-
31
-
-
0000654376
-
Stochastic search and phase transitions: AI meets physics
-
Montreal, Que.
-
B. Selman, Stochastic search and phase transitions: AI meets physics, in: Proceedings IJCAI-95, Montreal, Que. (1995).
-
(1995)
Proceedings IJCAI-95
-
-
Selman, B.1
-
32
-
-
0028574681
-
Local search strategies for satisfiability testing
-
ACM Press, Providence, RI
-
B. Selman, H. Kautz and B. Cohen, Local search strategies for satisfiability testing, in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science (ACM Press, Providence, RI, 1996); preliminary version in: Proceedings AAAI-94, Seattle, WA (1994) 337-343.
-
(1996)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
-
-
Selman, B.1
Kautz, H.2
Cohen, B.3
-
33
-
-
0028574681
-
-
preliminary version in: Seattle, WA
-
B. Selman, H. Kautz and B. Cohen, Local search strategies for satisfiability testing, in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science (ACM Press, Providence, RI, 1996); preliminary version in: Proceedings AAAI-94, Seattle, WA (1994) 337-343.
-
(1994)
Proceedings AAAI-94
, pp. 337-343
-
-
-
34
-
-
0030107174
-
Critical behavior in the computational cost of satisfiability testing
-
this volume
-
B. Selman and S. Kirkpatrick, Critical behavior in the computational cost of satisfiability testing, Artif. Intell. 81 (1996) 273-295 (this volume).
-
(1996)
Artif. Intell.
, vol.81
, pp. 273-295
-
-
Selman, B.1
Kirkpatrick, S.2
-
35
-
-
0027001335
-
GSAT: A new method for solving hard satisfiability problems
-
San Jose, CA
-
B. Selman, H.J. Levesque and D.G. Mitchell, GSAT: a new method for solving hard satisfiability problems, in: Proceedings AAAI-92, San Jose, CA (1992) 440-446.
-
(1992)
Proceedings AAAI-92
, pp. 440-446
-
-
Selman, B.1
Levesque, H.J.2
Mitchell, D.G.3
-
36
-
-
0008925608
-
-
Ph.D. Thesis, Department of Philosophy, University of Toronto, Toronto, Ont.
-
A. Vellino, The complexity of automated reasoning, Ph.D. Thesis, Department of Philosophy, University of Toronto, Toronto, Ont. (1989).
-
(1989)
The Complexity of Automated Reasoning
-
-
Vellino, A.1
-
37
-
-
0027001333
-
Using deep structure to locate hard problems
-
San Jose, CA
-
C.P. Williams and T. Hogg, Using deep structure to locate hard problems, in: Proceedings AAAI-92, San Jose, CA (1992) 472-277.
-
(1992)
Proceedings AAAI-92
, pp. 472-1277
-
-
Williams, C.P.1
Hogg, T.2
-
38
-
-
0026837425
-
Solving the satisfiability problem by using randomized approach
-
L.C. Wu and C.Y. Tang, Solving the satisfiability problem by using randomized approach, Inform. Process. Lett. 41 (1992) 187-190.
-
(1992)
Inform. Process. Lett.
, vol.41
, pp. 187-190
-
-
Wu, L.C.1
Tang, C.Y.2
-
39
-
-
84893675417
-
A rearrangement search strategy for determining propositional satisfiability
-
St. Paul, MN
-
R. Zabih and D. McAllester, A rearrangement search strategy for determining propositional satisfiability, in: Proceedings AAAI-88, St. Paul, MN (1988) 155-160.
-
(1988)
Proceedings AAAI-88
, pp. 155-160
-
-
Zabih, R.1
McAllester, D.2
|