Luís Baptista

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Top Topics

Lifelong Learning

Assistive Technology

Student Learning

Top Venues

Publications

Valentim Realinho, Luís Baptista, Rafael Dias, Daniel Marmelo, Paulo Páscoa, João Mourato
Multimodal Assistive Technology for the Support of Students with Multiple Disabilities. WorldCIST (1) (2021)
Luís Baptista, Francisco Azevedo
Domain-Splitting Generalized Nogoods from Restarts. EPIA (2011)
Inês Lynce, Luís Baptista, João Marques-Silva
Stochastic Systematic Search Algorithms for Satisfiability. Electron. Notes Discret. Math. 9 (2001)
Inês Lynce, Luís Baptista, João P. Marques Silva
Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA (2001)
Luís Baptista, João P. Marques Silva
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. CP (2000)