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

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N20
@@ Property / Mathematics Subject Classification ID: 68N20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6594106
@@ Property / zbMATH DE Number: 6594106 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract interpretation
@@ Property / zbMATH Keywords: abstract interpretation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compilers
@@ Property / zbMATH Keywords: compilers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint programming
@@ Property / zbMATH Keywords: constraint programming / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:294784