List of Instances and Applications
1.1 Indicator Functions, Boolean Functions and Crisp Constraints
1.6 Gaussian Densities and Gaussian Potentials
A.7 Set Potentials on Partition Lattices
A.8 Quotients of Density Functions
2.2 Query Answering in Relational Databases
2.3 Dempster-Shafer Theory of Evidence
2.4 Satisfiability of Constraints and Propositional Logic
2.6 Discrete Fourier and Cosine Transforms
B.4 Filtering, Prediction and Smoothing in hidden Markov chains
4.5 Probability Density Functions
D.9 Scaling of Belief Functions
5.1 Weighted Constraints, Spohn Potentials and GAI Preferences
5.2 Possibility Potentials, Probabilistic Constraints and Fuzzy Sets
5.3 Set-based Constraints and Assumption-based Reasoning
6.2 Shortest and Longest Distance Problem
6.4 Maximum Reliability Problem
6.8 Numeric Partial Differentiation
F.2 Testing whether Graphs are Bipartite
F.3 Identifying Cut Nodes in Graphs
F.6 Symbolic Partial Differentiation
7.1 Satisfiability in Propositional Logic
7.2 Theorem Proving in Propositional Logic
7.4 Linear Equations Systems and Affine Spaces
7.5 Linear Inequality Systems and Convex Polyhedra
G.1 Consequence Finding in Propositional Logic
8.2 Satisfiability of Constraints and Propositional Logic
8.3 Maximum Satisfiability of Constraints and Propositional Logic
8.4 Most and Least Probable Explanations
8.5 Bayesian and Maximum Likelihood Decoding
8.6 Linear Decoding and Gallager-Tanner-Wiberg Algorithm
9.2 Smoothing and Filtering in Linear Dynamic System
10.1 Gaussian Time-Discrete Dynamic Systems