scientific article
From MaRDI portal
Publication:3145805
zbMath1253.90196MaRDI QIDQ3145805
Jun Gu, Paul Walton jun. Purdom, John V. Franco, Benjamin W.-S. Wah
Publication date: 23 December 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.) (90C08) Combinatorial optimization (90C27)
Related Items (8)
Unnamed Item ⋮ Approximating minimal unsatisfiable subformulae by means of adaptive core search ⋮ An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem ⋮ Practical Implementation of a Quantum Backtracking Algorithm ⋮ New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability ⋮ The complexity of Boolean constraint satisfaction local search problems ⋮ On complete one-way functions ⋮ A complete adaptive algorithm for propositional satisfiability
This page was built for publication: