Researcher
 Homepage E-mail
 		 Field Sub-field
 		 Keywords
 		 Department /
Phone  
Dr. Birnbaum Elazar CV email Computer science Artificial intelligence,
Theory of computer science

Satisfiability problem,
Counting models,
Unsatisfiable systems,
Maximal satisfiable subsystems

Computer Science
09-7781219