@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008742,
 author = {Li, Qiang and 李, 強},
 month = {},
 note = {Integer programming (IP) is an important mathematical optimization technique that attempts to find an optimal solution under constraints so that the objective value is minimal or maximal. Optimisation problems that can be solved with IP are important in operations research and computer science, such as the knapsack problem, the traveling salesman problem, ..., 1998},
 school = {筑波大学, University of Tsukuba},
 title = {Symbolic algorithms for integer programming : from logic specification to solvers},
 year = {1999}
}