Browsing by Author "Generoso Masós, Roger"
​ ​ ​ ​

GOS A new declarative tool for modelling and solving CSPs to SAT

DFP open access ​

​