Integrating Inductive Definitions in SAT (Q3498482): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-75560-9_28
+Normal rank
@@ Property / OpenAlex ID @@
+W1552768819
@@ Property / OpenAlex ID: W1552768819 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Why are there so many loop formulas?
@@ Property / cites work: Why are there so many loop formulas? / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Checking for PC(ID)
@@ Property / cites work: Satisfiability Checking for PC(ID) / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Inductive Definitions in SAT
@@ Property / cites work: Integrating Inductive Definitions in SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank