Albert Oliveras

Identifiers

• name variant Albert Oliveras 0.60 · backfill

Papers (3)

1. Extended Resolution Clause Learning via Dual Implication Points cs.LO · 2024 · author #4
2. Compositional Safety Verification with Max-SMT cs.LO · 2015 · author #3
3. A New Look at BDDs for Pseudo-Boolean Constraints cs.AI · 2014 · author #3

Mentions

• 1507.03851 #3 · backfill · confidence 0.70 Albert Oliveras
• 1401.5860 #3 · backfill · confidence 0.70 Albert Oliveras
• 2406.14190 #4 · arxiv_oai · confidence 0.70 Albert Oliveras

Frequent Coauthors

• Enric Rodriguez-Carbonell 2 shared papers
• Albert Rubio 1 shared papers
• Daniel Larraz 1 shared papers
• Ignasi Ab\'io 1 shared papers
• Jonathan Chung 1 shared papers
• Marc Brockschmidt 1 shared papers
• Robert Nieuwenhuis 1 shared papers
• Sam Buss 1 shared papers
• Valentin Mayer-Eichberger 1 shared papers
• Vijay Ganesh 1 shared papers