Computational experience with an interior point algorithm on the satisfiability problem (Q753688): Difference between revisions

@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+Modeling and integer programming techniques applied to propositional calculus
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
+Normal rank
@@ Property / cites work @@
+Resolution vs. cutting plane solution of inference problems: Some computational experience
+Normal rank
@@ Property / cites work @@
+Branch-and-cut solution of inference problems in propositional logic
+Normal rank
@@ Property / cites work @@
+An interior point algorithm to solve computationally difficult set covering problems
+Normal rank
@@ Property / cites work @@
+A method for the solution of certain non-linear problems in least squares
+Normal rank
@@ Property / cites work @@
+An Algorithm for Least-Squares Estimation of Nonlinear Parameters
+Normal rank
@@ Property / cites work @@
+A mathematical programming approach to inference with the capability of implementing default rules
+Normal rank