one of the important problems in the urban development process in the world has been land use and planning for urban sustainability. considering this important issue, this study investigates spatial analysis and urban land use planning in dogonbadan. this research is applied- analytical and by applying land extension index and hensen model intends to study and plan urban land use in this city. ...

This paper describes ILP-PLAN, a framework for solving AI planning problems represented as integer linear programs. ILP-PLAN extends the planning as satisfiability framework to handle plans with resources, action costs, and complex objective functions. We show that challenging planning problems can be effectively solved using both traditional branchand-bound IP solvers and efficient new integer...