Havens, William S.

A logical framework for model based diagnosis with probabilistic search

Combining preference and feasibility in multi agent local search

Design and implementation of automotive model-based diagnosis using the Echidna constraint reasoning system

Forest harvest scheduling problem : studying mathematical and constraint programming solution strategies