Logic, Optimization and Robotics(LOR)
2021 SGR 00981
![Foto de Logic, Optimization and Robotics(LOR)](/img/grupo.png)
![Foto de Royal Institute of Technology](/img/noimage_org.png)
Royal Institute of Technology
Estocolmo, SueciaPublicacions en col·laboració amb investigadors/es de Royal Institute of Technology (1)
2017
-
Structure features for SAT instances classification
Journal of Applied Logic, Vol. 23, pp. 27-39