-
1
-
-
0017013056
-
The semantics of predicate logic as a programming language
-
M.H. van Emden, and R.A. Kowalski The semantics of predicate logic as a programming language J. ACM 23 4 1976 733 742
-
(1976)
J. ACM
, vol.23
, Issue.4
, pp. 733-742
-
-
Van Emden, M.H.1
Kowalski, R.A.2
-
5
-
-
0030352389
-
Pushing the envelope: Planning, propositional logic, and stochastic search
-
H.A. Kautz, and B. Selman Pushing the envelope: planning, propositional logic, and stochastic search Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), Portland, OR 1996 1194 1201
-
(1996)
Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), Portland, or
, pp. 1194-1201
-
-
Kautz, H.A.1
Selman, B.2
-
8
-
-
0002354751
-
Automatic generation of some results in finite algebra
-
M. Fujita, J. Slaney, and F. Bennett Automatic generation of some results in finite algebra Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France 1993 52 57
-
(1993)
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France
, pp. 52-57
-
-
Fujita, M.1
Slaney, J.2
Bennett, F.3
-
9
-
-
0026623575
-
Test pattern generation using Boolean satisfiability
-
T. Larrabee Test pattern generation using Boolean satisfiability IEEE Trans. Computer-Aided Design 1992 4 15
-
(1992)
IEEE Trans. Computer-Aided Design
, pp. 4-15
-
-
Larrabee, T.1
-
10
-
-
0034140491
-
Logical cryptanalysis as a SAT-problem: Encoding and analysis of the US Data Encryption Standard
-
F. Massacci, and L. Marraro Logical cryptanalysis as a SAT-problem: encoding and analysis of the US Data Encryption Standard J Automat. Reason. 24 1-2 2000 165 203
-
(2000)
J Automat. Reason.
, vol.24
, Issue.12
, pp. 165-203
-
-
Massacci, F.1
Marraro, L.2
-
11
-
-
21844431633
-
Np-spec: An executable specification language for solving all problems in NP
-
M. Cadoli, G. Ianni, L. Palopoli, A. Schaerf, and D. Vasile np-spec: an executable specification language for solving all problems in NP Computer Languages 26 2000 165 195
-
(2000)
Computer Languages
, vol.26
, pp. 165-195
-
-
Cadoli, M.1
Ianni, G.2
Palopoli, L.3
Schaerf, A.4
Vasile, D.5
-
14
-
-
0002188798
-
Generalized first-order spectra and polynomial-time recognizable sets
-
R.M. Karp American Mathematical Society Providence, RI
-
R. Fagin Generalized first-order spectra and polynomial-time recognizable sets R.M. Karp Complexity of Computation 1974 American Mathematical Society Providence, RI 43 74
-
(1974)
Complexity of Computation
, pp. 43-74
-
-
Fagin, R.1
-
16
-
-
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
-
17
-
-
84919401135
-
A machine program for theorem proving
-
M. Davis, G. Logemann, and D.W. Loveland A machine program for theorem proving Comm. ACM 5 7 1962 394 397
-
(1962)
Comm. ACM
, vol.5
, Issue.7
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.W.3
-
19
-
-
0028574681
-
Noise strategies for improving local search
-
B. Selman, H. Kautz, and B. Cohen Noise strategies for improving local search Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94), Seattle, WA 1994 337 343
-
(1994)
Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94), Seattle, WA
, pp. 337-343
-
-
Selman, B.1
Kautz, H.2
Cohen, B.3
-
20
-
-
84860073698
-
-
SATLIB, The Satisfiability Library http://www.satlib.org
-
-
-
-
22
-
-
0004362859
-
Circumscribing datalog: Expressive power and complexity
-
M. Cadoli, and L. Palopoli Circumscribing datalog: expressive power and complexity Theoret. Comput. Sci. 193 1998 215 244
-
(1998)
Theoret. Comput. Sci.
, vol.193
, pp. 215-244
-
-
Cadoli, M.1
Palopoli, L.2
-
24
-
-
0001047763
-
Optimization by simulated annealing: An experimental evaluation; Part II, graph coloring and number partitioning
-
D.S. Johnson, C.R. Aragon, L.A. McGeoch, and C. Schevon Optimization by simulated annealing: an experimental evaluation; part II, graph coloring and number partitioning Oper. Res. 39 3 1991 378 406
-
(1991)
Oper. Res.
, vol.39
, Issue.3
, pp. 378-406
-
-
Johnson, D.S.1
Aragon, C.R.2
McGeoch, L.A.3
Schevon, C.4
-
25
-
-
0001580511
-
Where the really hard problem are
-
P. Cheeseman, B. Kanefski, and W.M. Taylor Where the really hard problem are Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia 1991 163 169
-
(1991)
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia
, pp. 163-169
-
-
Cheeseman, P.1
Kanefski, B.2
Taylor, W.M.3
-
26
-
-
0346111643
-
-
MSc Thesis, University of Alberta, Edmonton, AB, February
-
B. Vandegriend, Hamiltonian cycles: algorithms, graphs and performance, MSc Thesis, University of Alberta, Edmonton, AB, February 1998
-
(1998)
Hamiltonian Cycles: Algorithms, Graphs and Performance
-
-
Vandegriend, B.1
-
27
-
-
0032659479
-
Scheduling sport tournaments using constraint logic programming
-
A. Schaerf Scheduling sport tournaments using constraint logic programming CONSTRAINTS 4 1 1999 43 65
-
(1999)
CONSTRAINTS
, vol.4
, Issue.1
, pp. 43-65
-
-
Schaerf, A.1
-
28
-
-
0002701297
-
The KR system dlv: Progress report, comparisons and benchmarks
-
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello The KR system dlv: progress report, comparisons and benchmarks Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy 1998 406 417
-
(1998)
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy
, pp. 406-417
-
-
Eiter, T.1
Leone, N.2
Mateis, C.3
Pfeifer, G.4
Scarcello, F.5
-
29
-
-
0033260715
-
Logic programs with stable model semantics as a constraint programming paradigm
-
I. Niemelä Logic programs with stable model semantics as a constraint programming paradigm Ann. Math. Artificial Intelligence 25 3-4 1999 241 273
-
(1999)
Ann. Math. Artificial Intelligence
, vol.25
, Issue.34
, pp. 241-273
-
-
Niemelä, I.1
-
36
-
-
0036476801
-
An algorithm to evaluate quantified boolean formulae and its experimental evaluation
-
M. Cadoli, M. Schaerf, A. Giovanardi, and M. Giovanardi An algorithm to evaluate quantified boolean formulae and its experimental evaluation J. Automat. Reason. 28 2002 101 142
-
(2002)
J. Automat. Reason.
, vol.28
, pp. 101-142
-
-
Cadoli, M.1
Schaerf, M.2
Giovanardi, A.3
Giovanardi, M.4
|