Picture for Rachel Ben-Eliyahu-Zohary

Rachel Ben-Eliyahu-Zohary

Azrieli College of Engineering, Jerusalem, Israel

How to Split a Logic Program

Add code
Sep 17, 2021
Figure 1 for How to Split a Logic Program
Figure 2 for How to Split a Logic Program
Figure 3 for How to Split a Logic Program
Figure 4 for How to Split a Logic Program
Viaarxiv icon

On the Tractability of Minimal Model Computation for Some CNF Theories

Add code
Oct 30, 2013
Figure 1 for On the Tractability of Minimal Model Computation for Some CNF Theories
Figure 2 for On the Tractability of Minimal Model Computation for Some CNF Theories
Figure 3 for On the Tractability of Minimal Model Computation for Some CNF Theories
Figure 4 for On the Tractability of Minimal Model Computation for Some CNF Theories
Viaarxiv icon