LoCo—A Logic for Configuration Problems (Q2946729): Difference between revisions

@@ Property / cites work @@
+Consistency restoration and explanations in dynamic CSPs---Application to configuration
+Normal rank
@@ Property / cites work @@
+Interactive Cost Configuration Over Decision Diagrams
+Normal rank
@@ Property / cites work @@
+LoCo—A Logic for Configuration Problems
@@ Property / cites work: LoCo—A Logic for Configuration Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Methods for the Partner Units Problem
+Normal rank
@@ Property / cites work @@
+Q3457200
@@ Property / cites work: Q3457200 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing Generators of Closed Sets
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Candidate keys for relations
@@ Property / cites work: Candidate keys for relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5751984
@@ Property / cites work: Q5751984 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank