Lozinskii, Eliezer L.

2 publications

JAIR 1999 The Good Old Davis-Putnam Procedure Helps Counting Models Elazar Birnbaum, Eliezer L. Lozinskii

IJCAI 1985 Evaluating Queries in Deductive Databases by Generating Eliezer L. Lozinskii