메뉴 건너뛰기




Volumn 4, Issue , 2003, Pages 1720-1725

A universal parallel SAT checking kernel

Author keywords

Mobile agents; Multithreading; Parallel SAT checking; Parallel symbolic computation

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMBINATORIAL MATHEMATICS; HEURISTIC PROGRAMMING; INTELLIGENT AGENTS; SEQUENTIAL MACHINES; TIME SHARING PROGRAMS;

EID: 1642403841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (14)
  • 1
    • 1642383265 scopus 로고    scopus 로고
    • The ADAPTIVE Communication Environment (ACE)
    • The ADAPTIVE Communication Environment (ACE). http://www.cs.wustl.edu/~schmidt/ACE.html.
  • 2
    • 84981218311 scopus 로고    scopus 로고
    • Distributed high performance computing in heterogeneous environments with DOTS
    • San Francisco, CA, U.S.A., April; IEEE Computer Society Press
    • W. Blochinger. Distributed high performance computing in heterogeneous environments with DOTS. In Proc. of Intl. Parallel and Distributed Processing Symp. (IPDPS 2001), page 90, San Francisco, CA, U.S.A., April 2001. IEEE Computer Society Press.
    • (2001) Proc. of Intl. Parallel and Distributed Processing Symp. (IPDPS 2001) , pp. 90
    • Blochinger, W.1
  • 5
    • 1642280735 scopus 로고    scopus 로고
    • Parallel consistency checking of automotive product data
    • In. G.R. Joubert, A. Murli, F. J. Peters, and M. Vanneschi, editors; Naples, Italy; Imperial College Press
    • W. Blochinger, C. Sinz, and W. Küchlin. Parallel consistency checking of automotive product data. In. G.R. Joubert, A. Murli, F. J. Peters, and M. Vanneschi, editors, Proc. of the Intl. Conf. ParCo 2001: Parallel Computing-Advances and Current Issues, pages 50-57, Naples, Italy, 2002. Imperial College Press.
    • (2002) Proc. of the Intl. Conf. ParCo 2001: Parallel Computing-Advances and Current Issues , pp. 50-57
    • Blochinger, W.1    Sinz, C.2    Küchlin, W.3
  • 6
    • 0038684546 scopus 로고    scopus 로고
    • Parallel propositional satisfiability checking with distributed dynamic learning
    • To appear
    • W. Blochinger, C. Sinz, and W. Küchlin. Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing, 2003. To appear.
    • (2003) Parallel Computing
    • Blochinger, W.1    Sinz, C.2    Küchlin, W.3
  • 8
    • 85059770931 scopus 로고
    • The complexity of theorem proving procedures
    • ACM press
    • S. A. Cook. The complexity of theorem proving procedures. In 3rd Symp. on Theory of Computing, pages 151-158. ACM press, 1971.
    • (1971) 3rd Symp. on Theory of Computing , pp. 151-158
    • Cook, S.A.1
  • 10
    • 84881072062 scopus 로고
    • A computing procedure for quantification theory
    • M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the ACM, 7(3):201-215, 1960.
    • (1960) Journal of the ACM , vol.7 , Issue.3 , pp. 201-215
    • Davis, M.1    Putnam, H.2
  • 14
    • 0030118598 scopus 로고    scopus 로고
    • PSATO: A distributed propositional prover and its application to quasi-group problems
    • H. Zhang, M. P. Bonacina, and J. Hsiang, PSATO: A distributed propositional prover and its application to quasi-group problems. Journal of Symbolic Computation, 21:543-560 1996.
    • (1996) Journal of Symbolic Computation , vol.21 , pp. 543-560
    • Zhang, H.1    Bonacina, M.P.2    Hsiang, J.3


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