Combining linear programming and satisfiability solving for resource planning

Steven A. Wolfman, Daniel S. Weld. Combining linear programming and satisfiability solving for resource planning. Knowledge Eng. Review, 16(1):85-99, 2001. [doi]

Abstract

Abstract is missing.