scientific article; zbMATH DE number 776082
From MaRDI portal
Publication:4840102
zbMath0837.68040MaRDI QIDQ4840102
Publication date: 16 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of mathematical programming (90C90) Nonlinear programming (90C30) Parallel algorithms in computer science (68W10)
Related Items
A BDD SAT solver for satisfiability testing: An industrial case study ⋮ A physical model for the satisfiability problem ⋮ Approximating minimal unsatisfiable subformulae by means of adaptive core search ⋮ A complete adaptive algorithm for propositional satisfiability
