Parallel algorithms and architectures for very fast AI search

3,000,000 Queens in less than one minute

ACM SIGART Bulletin

Reactive search, a history-sensitive heuristic for MAX-SAT

Journal of Experimental Algorithmics (JEA)

Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems

Journal of Global Optimization

A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems

Journal of Global Optimization

Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem

IEEE Transactions on Knowledge and Data Engineering

Diagram processing: computing with diagrams

Artificial Intelligence

Selected AI-Related Dissertations

ACM SIGART Bulletin

Diagrammatic reasoning and cases

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2