Congrats to our very own Rocs Canoy for receiving the CP2019 Best Student Paper Award in Connecticut for his and Tias Guns' work on "Vehicle routing by learning from historical solutions"!
269 followers
1,237 followers
New #UPCommons #Eprints Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints https://t.co/InuFicChYh
421 followers
RT @CMUPortugal: #CMUPortugal Program Faculty publication: this work was partially supported by FCT through @CMUPortugal and co-authored by…
2,115 followers
#CMUPortugal Program Faculty publication: this work was partially supported by FCT through @CMUPortugal and co-authored by Faculty member Ruben Martins and Vasco Manquinho, currently in Pittsburg under our Visiting Faculty Program. https://t.co/fbTl5gdBmQ