Abstracting numeric constraints with Boolean functions (Q294784): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+Analyzing logic programs using “prop”-ositional logic programs and a magic wand
+Normal rank
@@ Property / cites work @@
+A simple polynomial groundness analysis for logic programs
+Normal rank
@@ Property / cites work @@
+Q4518882
@@ Property / cites work: Q4518882 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(00)00081-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1991816648
@@ Property / OpenAlex ID: W1991816648 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127351599
@@ Property / Wikidata QID: Q127351599 / rank @@
+Normal rank