Computational experience with an interior point algorithm on the satisfiability problem

This publication has 15 references indexed in Scilit:

• Modeling and integer programming techniques applied to propositional calculus
  Computers & Operations Research, 1990
• Generalized resolution and cutting planes
  Annals of Operations Research, 1988
• Computation-oriented reductions of predicate to propositional logic
  Decision Support Systems, 1988
• A quantitative approach to logical inference
  Decision Support Systems, 1988
• Resolution vs. cutting plane solution of inference problems: Some computational experience
  Operations Research Letters, 1988
• A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
  Mathematical Programming, 1986
• Some results and experiments in programming techniques for propositional logic
  Computers & Operations Research, 1986
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960
• A method for the solution of certain non-linear problems in least squares
  Quarterly of Applied Mathematics, 1944