-
1
-
-
1642383265
-
-
The ADAPTIVE Communication Environment (ACE)
-
The ADAPTIVE Communication Environment (ACE). http://www.cs.wustl.edu/~schmidt/ACE.html.
-
-
-
-
2
-
-
84981218311
-
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
-
3
-
-
0037606546
-
An object-oriented platform for distributed high-performance symbolic computation
-
W. Blochinger, W. Küchlin, C. Ludwig, and A. Weber. An object-oriented platform for distributed high-performance Symbolic Computation. Mathematics and Computers in Simulation, 49:161-178, 1999.
-
(1999)
Mathematics and Computers in Simulation
, vol.49
, pp. 161-178
-
-
Blochinger, W.1
Küchlin, W.2
Ludwig, C.3
Weber, A.4
-
4
-
-
1642381656
-
Distributed parallel SAT checking with dynamic learning using DOTS
-
In T. Gonzales, editor; Anaheim, CA, August; ACTA Press
-
W. Blochinger, C. Sinz, and W. Küchlin. Distributed parallel SAT checking with dynamic learning using DOTS. In T. Gonzales, editor, Proc. of the IASTED Intl. Conference Parallel and Distributed Computing and Systems (PDCS 2001), pages 396-401, Anaheim, CA, August 2001, ACTA Press.
-
(2001)
Proc. of the IASTED Intl. Conference Parallel and Distributed Computing and Systems (PDCS 2001)
, pp. 396-401
-
-
Blochinger, W.1
Sinz, C.2
Küchlin, W.3
-
5
-
-
1642280735
-
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
-
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
-
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
-
9
-
-
84919401135
-
A machine program for theorem-proving
-
July
-
M. Davis, G. Logemann, and D. Loveland. A machine program for theorem-proving. Communications of the ACM, 5(7):394-397, July 1962.
-
(1962)
Communications of the ACM
, vol.5
, Issue.7
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
10
-
-
84881072062
-
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
-
13
-
-
34247093925
-
PaSAT - parallel SAT-checking with lemma exchange: Implementation and applications
-
In H. Kautz and B. Selman, editors; Elsevier Science Publishers
-
C. Sinz, W. Blochinger, and W. Küchlin. PaSAT - parallel SAT-checking with lemma exchange: Implementation and applications. In H. Kautz and B. Selman, editors, LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), volume 9 of Electronic Notes in Discrete Mathematics, Boston, MA, June 2001. Elsevier Science Publishers.
-
LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), Volume 9 of Electronic Notes in Discrete Mathematics, Boston, MA, June 2001
-
-
Sinz, C.1
Blochinger, W.2
Küchlin, W.3
-
14
-
-
0030118598
-
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
|