Simulation of hybrid circuits in constraint logic programming (Q805302): Difference between revisions

@@ Property / author @@
-Thomas Graf
@@ Property / author: Thomas Graf / rank @@
-Normal rank
@@ Property / author @@
-Pascal Van Hentenryck
@@ Property / author: Pascal Van Hentenryck / rank @@
-Normal rank
@@ Property / author @@
+Thomas Graf
@@ Property / author: Thomas Graf / rank @@
+Normal rank
@@ Property / author @@
+Pascal Van Hentenryck
@@ Property / author: Pascal Van Hentenryck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+elsA
@@ Property / describes a project that uses: elsA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHIP
@@ Property / describes a project that uses: CHIP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of hybrid circuits in constraint logic programming
+Normal rank
@@ Property / cites work @@
+Solving a cutting-stock problem with the constraint logic programming language CHIP
+Normal rank
@@ Property / cites work @@
+CLP\(({\mathfrak R})\) and some electrical engineering problems
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank