Combining linear programming and satisfiability solving for resource planning
From MaRDI portal
Publication:2775780
DOI10.1017/S0269888901000017zbMath1060.91510MaRDI QIDQ2775780
Steven A. Wolfman, Daniel S. Weld
Publication date: 2001
Published in: The Knowledge Engineering Review (Search for Journal in Brave)
Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.) (90C08) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)
Related Items (5)
Improved Computational Approaches and Heuristics for Zero Forcing ⋮ Constraint partitioning in penalty formulations for solving temporal planning problems ⋮ Processes and continuous change in a SAT-based planner ⋮ Set-structured and cost-sharing heuristics for classical planning ⋮ Constraint solving for proof planning
Uses Software
This page was built for publication: Combining linear programming and satisfiability solving for resource planning
