David M. Steier

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