Structure-driven algorithms for truth maintenance (Q2674194): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(94)00096-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2035318784
@@ Property / OpenAlex ID: W2035318784 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q4012213
@@ Property / cites work: Q4012213 / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489523
@@ Property / cites work: Q3489523 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for Backtrack-Free Search
@@ Property / cites work: A Sufficient Condition for Backtrack-Free Search / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for reason maintenance
@@ Property / cites work: A general framework for reason maintenance / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2674194