Probability logic and optimization SAT: The PSAT and CPA models (Q1777404): Difference between revisions

@@ Property / cites work @@
+Probabilistic satisfiability with imprecise probabilities
+Normal rank
@@ Property / cites work @@
+Easy cases of probabilistic satisfiability
@@ Property / cites work: Easy cases of probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification rules for the coherent probability assessment problem
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895431
@@ Property / cites work: Q4895431 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of logic problems solvable by linear programming
+Normal rank
@@ Property / cites work @@
+Complexity versus stability for classes of propositional formulas
+Normal rank
@@ Property / cites work @@
+A MINSAT Approach for Learning in Logic Domains
@@ Property / cites work: A MINSAT Approach for Learning in Logic Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability
@@ Property / cites work: Probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
+Normal rank
@@ Property / cites work @@
+Column Generation Methods for Probabilistic Logic
@@ Property / cites work: Column Generation Methods for Probabilistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+Q4040221
@@ Property / cites work: Q4040221 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705311
@@ Property / cites work: Q4705311 / rank @@
+Normal rank