Albert Oliveras
Author
Alternate names A. Oliveras, Albert Oliveras
Institution Universitat Politècnica de Catalunya
Past institution Universitat Politècnica de Catalunya
ORCID: Yes
H-index: 25
I10-index: 34
Works count: 54
Citations count: 2,998
Solving SAT and SAT Modulo Theories
2006 · Robert Nieuwenhuis, Albert Oliveras, et al. · Journal of the ACM
DPLL(T): Fast Decision Procedures
2004 · Harald Ganzinger, George Hagen, et al. · Lecture notes in computer science
On SAT Modulo Theories and Optimization Problems
2006 · Robert Nieuwenhuis, Albert Oliveras · Lecture notes in computer science