Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A data-dependency-based intelligent backtracking scheme for PROLOG
+Normal rank
@@ Property / cites work @@
+Q3735066
@@ Property / cites work: Q3735066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435806
@@ Property / cites work: Q4435806 / rank @@
+Normal rank
@@ Property / cites work @@
+Letters to the Editor
@@ Property / cites work: Letters to the Editor / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740274
@@ Property / cites work: Q3740274 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1380423