A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
Publications
Date
Featured collections
Popular topics
19 results at Ann. Math. Artif. Intell.
On inductive inference of cyclic structures
- Michael J. Maher
- Peter J. Stuckey
- 1995
- Ann. Math. Artif. Intell.
Computational mereology: A study of part-of relations for multimedia indexing
- Wlodek Zadrozny
- Michelle Kim
- 1995
- Ann. Math. Artif. Intell.
Some formal properties of stratified feature grammars
- David E. Johnson
- Lawrence S. Moss
- 1993
- Ann. Math. Artif. Intell.
On rules of abduction
- Wlodek Zadrozny
- 1993
- Ann. Math. Artif. Intell.
Practical issues on the projection of polyhedral sets
- Tien Huynh
- Catherine Lassez
- et al.
- 1992
- Ann. Math. Artif. Intell.
The relationship between knowledge, belief, and certainty
- Joseph Y. Halpern
- 1991
- Ann. Math. Artif. Intell.
Most specific logic programs
- K. Marriott
- L. Naish
- et al.
- 1990
- Ann. Math. Artif. Intell.
Interactive scheduling as a constraint satisfiability problem
- Ronen Feldman
- Martin Charles Golumbic
- 1990
- Ann. Math. Artif. Intell.