03 sep
|
IIIA - CSIC
|
Barcelona
03 sep
IIIA - CSIC
Barcelona
I am offering the following JAE Intro research project at IIIA-CSIC:
????-??: ????????-?????? ?????????? ??? ??? ??? ?????? ??? ????? ?????? ????????
The project will explore how ????? ?????? ???????? (????) can improve heuristics in SAT and MaxSAT solvers, combining machine learning with symbolic solving techniques.
? For Bachelor’s and Master’s students interested in ??, ??????? ????????, ???/?????? and ????????????? ????????????.
? ????????????: ?–?? ????????? ????.
? Official call:
https://sede.csic.gob.es/tramites/programa-jae/convocatoria-jae-intro-icu-2026
Feel free to contact me if you are interested or would like more information.
#JAEIntro #CSIC #IIIA #ArtificialIntelligence #MachineLearning #GraphNeuralNetworks #SAT #MaxSAT
📌 ??? ????? ??? ???? – ???????? ??????????? ?? ????-???? (Barcelona)
🏢 IIIA - CSIC
📍 Barcelona