Visualitzant per autor "Generoso Masós, Roger"
​ ​ ​ ​

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

TFC/TFG open access ​

​