Semiring programming: a semantic framework for generalized sum product problems (Q2206471): Difference between revisions

@@ Property / describes a project that uses @@
+AMPL
@@ Property / describes a project that uses: AMPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zinc
@@ Property / describes a project that uses: Zinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OPL
@@ Property / describes a project that uses: OPL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3080665013
@@ Property / OpenAlex ID: W3080665013 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06954
@@ Property / arXiv ID: 1609.06954 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear optimization applications using the GAMS technology
+Normal rank
@@ Property / cites work @@
+Q3624187
@@ Property / cites work: Q3624187 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Path Problems in Networks
@@ Property / cites work: Path Problems in Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
+Normal rank
@@ Property / cites work @@
+Semirings for constraint solving and programming.
@@ Property / cites work: Semirings for constraint solving and programming. / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining relational algebra, <i>SQL</i>, constraint modelling, and local search
+Normal rank
@@ Property / cites work @@
+On probabilistic inference by weighted model counting
+Normal rank
@@ Property / cites work @@
+Approximate Counting in SMT and Value Estimation for Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Mini-buckets
@@ Property / cites work: Mini-buckets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing the Volume of a Polyhedron
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Explanatory Rules from Noisy Data
@@ Property / cites work: Learning Explanatory Rules from Noisy Data / rank @@
+Normal rank
@@ Property / cites work @@
+In pursuit of the Holy Grail
@@ Property / cites work: In pursuit of the Holy Grail / rank @@
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+Normal rank
@@ Property / cites work @@
+Graph Implementations for Nonsmooth Convex Programs
+Normal rank
@@ Property / cites work @@
+Q5799972
@@ Property / cites work: Q5799972 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed logical-linear programming
@@ Property / cites work: Mixed logical-linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4197629
@@ Property / cites work: Q4197629 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic model counting
@@ Property / cites work: Algebraic model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655273
@@ Property / cites work: Q3655273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+The design of the zinc modelling language
@@ Property / cites work: The design of the zinc modelling language / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+kProbLog: an algebraic Prolog for machine learning
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Modulo Theories with Linear Rational Costs
+Normal rank
@@ Property / cites work @@
+An algebra of modular systems: static and dynamic perspectives
+Normal rank
@@ Property / cites work @@
+Q5713453
@@ Property / cites work: Q5713453 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint and Integer Programming in OPL
@@ Property / cites work: Constraint and Integer Programming in OPL / rank @@
+Normal rank