A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
Paper
Publications
3613 results for Mathematical Sciences
A case study in parallel scientific computing: The boundary element method on a distributed-memory multicomputer
- R. Natarajan
- D. Krishnaswamy
- 1996
- Engineering Analysis with Boundary Elements
PaperA farey tree organization of locking regions for simple circle maps
- K.M. Brucks
- C. Tresser
- 1996
- Proceedings of the American Mathematical Society
PaperAn extension of Van Gelder's alternating fixpoint to magic programs
- Shinichi Morishita
- 1996
- Journal of Computer and System Sciences
PaperThe posterior distribution of the fixed and random effects in a mixed-effects linear model
- David A. Harville
- Alan G. Zimmermann
- 1996
- Journal of Statistical Computation and Simulation
PaperComplexity and real computation: A manifesto
- Lenore Blum
- Felipe Cucker
- et al.
- 1996
- International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
PaperIterative methods for solving Ax = b, GMRES/FOM versus QMR/BiCG
- Jane Cullum
- 1996
- Advances in Computational Mathematics
PaperStably ergodic skew products
- Roy Adler
- Bruce Kitchens
- et al.
- 1996
- Discrete and Continuous Dynamical Systems
PaperCertifying permutations: noninteractive zero-knowledge based on any trapdoor permutation
- Mihir Bellare
- Moti Yung
- 1996
- Journal of Cryptology
PaperConstruction of the mesh and the torus tolerating a large number of faults
- Hisao Tamaki
- 1996
- Journal of Computer and System Sciences
Paper