By using this relationship, many different problems in logic, graph theory, integer programming, and algebra can be given a uniform treatment. This opens up for new ways of analysing and solving combinatorial optimisation problems.doi:10.1007/978-3-540-92800-3_10Peter Jonsson...