Elazar Birnbaum

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

Publications

Elazar Birnbaum, Eliezer L. Lozinskii
The Good Old Davis-Putnam Procedure Helps Counting Models CoRR (2011)
Elazar Birnbaum, Eliezer L. Lozinskii
Consistent subsets of inconsistent systems: structure and behaviour. J. Exp. Theor. Artif. Intell. 15 (1) (2003)
Elazar Birnbaum, Eliezer L. Lozinskii
The Good Old Davis-Putnam Procedure Helps Counting Models. J. Artif. Intell. Res. 10 (1999)