Scholar

Albert Oliveras

Google Scholar ID: Lpc8gO4AAAAJ

Technical University of Catalonia

SATSMTVerification

Google Scholar↗

Citations & Impact

All-time

Citations

4,833

H-index

28

i10-index

38

Publications

20

Co-authors

14

list available

Contact

No contact links provided.

Publications

1 items

Extended Resolution Clause Learning via Dual Implication Points

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

14 total

Professor of Computer Science, Complutense University of Madrid (UCM)

Professor of Computer Science, The University of Iowa

Professor of Computer Science, Universitat Politecnica de Catalunya