메뉴 건너뛰기




Volumn 154, Issue 16, 2006, Pages 2291-2306

A competitive and cooperative approach to propositional satisfiability

Author keywords

Job shop scheduling; Parallel execution; Planning; SAT; SAT solver

Indexed keywords

ARTIFICIAL INTELLIGENCE; BENCHMARKING; PARALLEL ALGORITHMS; PROBLEM SOLVING; STOCHASTIC CONTROL SYSTEMS; STRATEGIC PLANNING;

EID: 33747815373     PISSN: 0166218X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dam.2006.04.015     Document Type: Article
Times cited : (21)

References (40)
  • 1
    • 33747830294 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
  • 7
    • 84877074765 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • DIMACS Challenge-Satisfiability: Suggested Format, 〈ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/〉.
  • 13
    • 33747855591 scopus 로고    scopus 로고
    • J. Erenrich, WalkSAT-MPI (v0.9), 〈http://www.jordanerenrich.com/walksat/〉.
  • 14
    • 0001947856 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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.
  • 26
    • 0032680865 scopus 로고    scopus 로고
    • 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
  • 29
    • 33747823314 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • N. Sadeh, Look-ahead technique for micro-opportunistic job-shop scheduling, Ph.D. Thesis, Carnegie Mellon University, 1991.
  • 31
    • 33747857111 scopus 로고    scopus 로고
    • SAT Research Group at Princeton University, zChaff, 〈http://www.princeton.edu/∼chaff/zchaff.html〉.
  • 32
    • 33747817422 scopus 로고    scopus 로고
    • SATLIB-The Satisfiability Library, 〈http://www.satlib.org/〉.
  • 36
    • 0038684546 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.