Shmuel Katz

CS , Technion- Israel Institute of Technology , Haifa , 32000 , Israel

3 papers in the IJCAI proceedings

IJCAI 1991

On the Feasibility of Distributed Constraint Satisfaction

with Zeev Collin, Rina Dechter

Details PDF

IJCAI 1981

An Advisory System for Developing Data Representations

with Ruth Zimmerman

Details PDF

IJCAI 1973

A Heuristic Approach to Program Verification

with Zohar Manna

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings