https://123dok.org/document/4yro58jy-logic-and-constraint-programming-for-computational-sustainability.html