Alert button

Conflict-driven ASP Solving with External Sources

Oct 05, 2012
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Figure 1 for Conflict-driven ASP Solving with External Sources
Figure 2 for Conflict-driven ASP Solving with External Sources

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: