David M. Steier

Department of Computer Science Carnegie-Mellon University Pittsburgh , PA 15208 USA

2 papers in the IJCAI proceedings

IJCAI 1987

CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design

Details PDF

IJCAI 1985

Symbolic Execution in Algorithm Design

with Elaine Kant

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings