Katz, Shmuel

3 publications

IJCAI 1991 On the Feasibility of Distributed Constraint Satisfaction Zeev Collin, Rina Dechter, Shmuel Katz

IJCAI 1981 An Advisory System for Developing Data Representations Shmuel Katz, Ruth Zimmerman

IJCAI 1973 A Heuristic Approach to Program Verification Shmuel Katz, Zohar Manna