A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
Paper
Publications
3611 results for Mathematical Sciences
Complexity of Bezout's theorem IV: Probability of success; extensions
- Michael Shub
- Steve Smale
- 1996
- SIAM Journal on Numerical Analysis
PaperIntegral equation methods for stokes flow and isotropic elasticity in the plane
- Leslie Greengard
- Mary Catherine Kropinski
- et al.
- 1996
- Journal of Computational Physics
PaperConstruction of the mesh and the torus tolerating a large number of faults
- Hisao Tamaki
- 1996
- Journal of Computer and System Sciences
PaperToward real-time pricing of complex financial derivatives
- S. Ninomiya
- Shu Tezuka
- 1996
- Applied Mathematical Finance
PaperA fast parallel algorithm for finding the convex hull of a sorted point set
- Omer Berkman
- Baruch Schieber
- et al.
- 1996
- International Journal of Computational Geometry and Applications
PaperSquare-free algorithms in positive characteristic
- P. Gianni
- B.M. Trager
- 1996
- Applicable Algebra in Engineering, Communications and Computing
PaperA high order explicit method for the computation of flow about a circular cylinder
- Christopher R. Anderson
- Marc B. Reider
- 1996
- Journal of Computational Physics
PaperInference about defects in the presence of masking
- Betty J. Flehinger
- Benjamin Reiser
- et al.
- 1996
- Technometrics
PaperA farey tree organization of locking regions for simple circle maps
- K.M. Brucks
- C. Tresser
- 1996
- Proceedings of the American Mathematical Society
Paper