-
1
-
-
33747830294
-
-
Y. Asahiro, K. Iwama, E. Miyano, Random generation of test instances with controlled attributes, in: D.S. Johnson, M.A. Trick (Eds.), Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 26, American Mathematical Society, Providence, RI, 1996, pp. 377-393.
-
-
-
-
3
-
-
33747821187
-
-
M. Banbara, N. Tamura, K. Inoue, T. Kawamura, H. Tamaki, HECS: a heterogeneous constraint solver, 〈http://kaminari.istc.kobe-u.ac.jp/hecs/〉.
-
-
-
-
5
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum A.L., and Furst M.L. Fast planning through planning graph analysis. Artificial Intelligence 90 (1997) 279-298
-
(1997)
Artificial Intelligence
, vol.90
, pp. 279-298
-
-
Blum, A.L.1
Furst, M.L.2
-
7
-
-
84877074765
-
-
W. Chrabakh, R. Wolski, GridSAT: a Chaff-based distributed SAT solver for the grid, in: Proceedings of the ACM/IEEE SuperComputing 2003 Conference, paper 37, 2003.
-
-
-
-
10
-
-
84919401135
-
A machine program for theorem proving
-
Davis M., Logemann G., and Loveland D. A machine program for theorem proving. Comm. ACM 5 (1962) 394-397
-
(1962)
Comm. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
11
-
-
33747864876
-
-
DIMACS Challenge-Satisfiability: Suggested Format, 〈ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/〉.
-
-
-
-
13
-
-
33747855591
-
-
J. Erenrich, WalkSAT-MPI (v0.9), 〈http://www.jordanerenrich.com/walksat/〉.
-
-
-
-
14
-
-
0001947856
-
Probabilistic learning combinations of local job-shop scheduling rules
-
Muth J.F., and Thompson G.L. (Eds), Prentice-Hall, Englewood Cliffs, NJ
-
Fisher H., and Thompson G.L. Probabilistic learning combinations of local job-shop scheduling rules. In: Muth J.F., and Thompson G.L. (Eds). Industrial Scheduling (1963), Prentice-Hall, Englewood Cliffs, NJ 225-251
-
(1963)
Industrial Scheduling
, pp. 225-251
-
-
Fisher, H.1
Thompson, G.L.2
-
15
-
-
0016952078
-
The complexity of flowshop and jobshop scheduling
-
Garey M.R., Johnson D.S., and Sethi R. The complexity of flowshop and jobshop scheduling. Math. Oper. Res. 1 (1976) 117-129
-
(1976)
Math. Oper. Res.
, vol.1
, pp. 117-129
-
-
Garey, M.R.1
Johnson, D.S.2
Sethi, R.3
-
17
-
-
0042598805
-
The Multi-SAT algorithm
-
Gu J. The Multi-SAT algorithm. Discrete Appl. Math. 96-97 (1999) 111-126
-
(1999)
Discrete Appl. Math.
, vol.96-97
, pp. 111-126
-
-
Gu, J.1
-
18
-
-
84957006682
-
-
D. Habet, C.M. Li, L. Devendeville, M. Vasquez, A hybrid approach for SAT, in: Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 2470, Springer, Berlin, 2002, pp. 172-184.
-
-
-
-
19
-
-
35048868712
-
-
J.K. Hao, F. Lardeux, F. Saubion, Evolutionary computing for the satisfiability problem, in: Proceedings of the Third European Workshop on Evolutionary Computation in Combinatorial Optimization, Lecture Notes in Computer Science, vol. 2611, Springer, Berlin, 2003, pp. 259-268.
-
-
-
-
20
-
-
0031035643
-
An economics approach to hard computational problems
-
Huberman B.A., Lukose R.M., and Hogg T. An economics approach to hard computational problems. Science 275 (1997) 51-54
-
(1997)
Science
, vol.275
, pp. 51-54
-
-
Huberman, B.A.1
Lukose, R.M.2
Hogg, T.3
-
21
-
-
16244377001
-
-
B. Jurkowiak, C.M. Li, G. Utard, Parallelizing Satz using dynamic workload balancing, in: H. Kautz, B. Selman (Eds.), Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing, Electronic Notes in Discrete Mathematics, vol. 9, 2001.
-
-
-
-
22
-
-
0001793083
-
Encoding plans in propositional logic
-
Kautz H., McAllester D., and Selman B. Encoding plans in propositional logic. Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, CA (1996) 374-384
-
(1996)
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, CA
, pp. 374-384
-
-
Kautz, H.1
McAllester, D.2
Selman, B.3
-
24
-
-
84880681440
-
Unifying SAT-based and graph-based planning
-
Kautz H., and Selman B. Unifying SAT-based and graph-based planning. Proceedings of the 16th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, CA (1999) 318-325
-
(1999)
Proceedings of the 16th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, CA
, pp. 318-325
-
-
Kautz, H.1
Selman, B.2
-
26
-
-
0032680865
-
GRASP: a search algorithm for propositional satisfiability
-
Marques-Silva J.P., and Sakallah K.A. GRASP: a search algorithm for propositional satisfiability. IEEE Trans. Comput. 48 (1999) 506-521
-
(1999)
IEEE Trans. Comput.
, vol.48
, pp. 506-521
-
-
Marques-Silva, J.P.1
Sakallah, K.A.2
-
27
-
-
0034852165
-
Chaff. engineering an efficient SAT solver
-
Moskewicz M., Madigan C., Zhao Y., Zhang L., and Malik S. Chaff. engineering an efficient SAT solver. Proceedings of the 38th Design Automation Conference, ACM (2001) 530-535
-
(2001)
Proceedings of the 38th Design Automation Conference, ACM
, pp. 530-535
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
29
-
-
33747823314
-
-
E. Nudelman, A. Devka, Y. Shoham, K. Leyton-Brown, H. Hoos, SATzilla: an algorithm portfolio for SAT, SAT Competition 2004-Solver Description, 2004, pp. 13-14.
-
-
-
-
30
-
-
33747847205
-
-
N. Sadeh, Look-ahead technique for micro-opportunistic job-shop scheduling, Ph.D. Thesis, Carnegie Mellon University, 1991.
-
-
-
-
31
-
-
33747857111
-
-
SAT Research Group at Princeton University, zChaff, 〈http://www.princeton.edu/∼chaff/zchaff.html〉.
-
-
-
-
32
-
-
33747817422
-
-
SATLIB-The Satisfiability Library, 〈http://www.satlib.org/〉.
-
-
-
-
33
-
-
0001445381
-
Local search strategies for satisfiability testing
-
Johnson D.S., and Trick M.A. (Eds), American Mathematical Society, Providence, RI
-
Selman B., Kautz H., and Cohen B. Local search strategies for satisfiability testing. In: Johnson D.S., and Trick M.A. (Eds). Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science vol. 26 (1996), American Mathematical Society, Providence, RI 521-531
-
(1996)
Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, vol.26
, pp. 521-531
-
-
Selman, B.1
Kautz, H.2
Cohen, B.3
-
36
-
-
0038684546
-
Parallel propositional satisfiability checking with distributed dynamic learning
-
Sinz C., Blochinger W., and Kuchlin W. Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Comput. 29 (2003) 969-994
-
(2003)
Parallel Comput.
, vol.29
, pp. 969-994
-
-
Sinz, C.1
Blochinger, W.2
Kuchlin, W.3
-
39
-
-
0032633177
-
Recent advances in AI planning
-
Weld D.S. Recent advances in AI planning. AI Magazine 20 (1999) 93-123
-
(1999)
AI Magazine
, vol.20
, pp. 93-123
-
-
Weld, D.S.1
-
40
-
-
0030118598
-
PSATO: a distributed propositional prover and its application to quasigroup problems
-
Zhang H., Bonacina M.P., and Hsiang J. PSATO: a distributed propositional prover and its application to quasigroup problems. J. Symbolic Comput. 21 (1996) 543-560
-
(1996)
J. Symbolic Comput.
, vol.21
, pp. 543-560
-
-
Zhang, H.1
Bonacina, M.P.2
Hsiang, J.3
|