Stable model semantics: Difference between revisions

Content deleted Content added
rezaty lahiv kak i rezaty tebe David Eppstein (talk)
Tags: Undo Reverted
m Reverted edit by 999-Bandera Mouse (talk) to last version by David Eppstein
Line 372:
 
[[Category:Logic programming]]
[[Category:NP-complete problems]]