| Conflict-directed A* Search for Soft Constraints
(Presentation at CPAIOR-06)
Powerpoint show
|
|
| Bounded Search and Symbolic Inference for Constraint Optimization
(Presentation at IJCAI-05)
Powerpoint show
|
|
| Exploiting Structure and Randomization for Large-Scale
Constraint Reasoning (Tutorial at AAAI-05, with Carla Gomez and Brian C. Williams)
Slides PDF
|
|
| Diagnosis as Semiring-based Constraint Optimization
(Presentation at ECAI-04)
Powerpoint show
|
|
| Automated Qualitative Domain Abstraction
(Presentation at IJCAI-03)
Powerpoint show
|