Rachel Ben‐Eliyahu‐Zohary

1. On the Tractability of Minimal Model Computation for Some CNF Theories
   2013/10/30 by Fabrizio Angiulli, Rachel Ben‐Eliyahu‐Zohary, Angiulli, Fabrizio +5 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge