About the incremental validation of first-order stratified knowledge-based decision-support systems (Q1857059): Difference between revisions

@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting complete techniques thanks to local search methods
+Normal rank
@@ Property / cites work @@
+Q3198878
@@ Property / cites work: Q3198878 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
+Normal rank