Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

19 results at Ann. Math. Artif. Intell.

A BDD SAT solver for satisfiability testing: An industrial case study
- - Ruchir Puri
  - Jun Gu
- 1996
- 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.