Scholar
Albert Oliveras
Google Scholar ID: Lpc8gO4AAAAJ
Technical University of Catalonia
SAT
SMT
Verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
4,833
H-index
28
i10-index
38
Publications
20
Co-authors
14
list available
Publications
1 items
Extended Resolution Clause Learning via Dual Implication Points
arXiv.org · 2024
Cited
0
Co-authors
7 total
Albert Rubio
Professor of Computer Science, Complutense University of Madrid (UCM)
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Javier Larrosa
Professor of Computer Science, Universitat Politecnica de Catalunya
Leonardo de Moura
Amazon Web Services
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Salvador Lucas
DSIC & VRAIN, Universitat Politècnica de València
Peter Stuckey
Faculty of Information Technology, Monash University
