Concepedia

Albert Oliveras

AO

12

Publications

1.3K

Citations

12

H-Index

2006

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

New York University

University of Iowa

Universitat de Girona

Albert Oliveras is an author at Universitat Politècnica de Catalunya specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSatisfiabilityComputational ComplexityVerificationProgram AnalysisDiscrete Mathematics

Publications per year

2006–2015

12

Publications

12

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 766 citations

Decision Procedure, Engineering, Automated Reasoning +11

MiniMaxSAT: An Efficient Weighted Max-SAT solver

Federico Heras, Javier Larrosa, Albert Oliveras · Journal of Artificial Intelligence Research · 2008 · 125 citations · Full text

Artificial Intelligence, Mathematical Programming, Computational Science +15

Cardinality Networks: a theoretical and empirical study

Roberto Asín‐Achá, Robert Nieuwenhuis, Albert Oliveras et al. · Constraints · 2011 · 122 citations

Network Science, Graph Theory, Data Science +9

Fast congruence closure and extensions

Robert Nieuwenhuis, Albert Oliveras · Information and Computation · 2007 · 70 citations

Modulus Problem, Computational Number Theory, Fast Congruence Closure +1

6 Years of SMT-COMP

Clark Barrett, Morgan Deters, Leonardo de Moura et al. · Journal of Automated Reasoning · 2012 · 54 citations

Technology Readiness Level, Business Continuity Planning, End-of-life Product +2

Rows per page

1–5 of 12