ML Anthology
Authors
Search
About
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