Enric Rodriguez-Carbonell

Identifiers

• name variant Enric Rodriguez-Carbonell 0.60 · backfill

Papers (2)

1. Compositional Safety Verification with Max-SMT cs.LO · 2015 · author #4
2. A New Look at BDDs for Pseudo-Boolean Constraints cs.AI · 2014 · author #4

Mentions

• 1507.03851 #4 · backfill · confidence 0.70 Enric Rodriguez-Carbonell
• 1401.5860 #4 · backfill · confidence 0.70 Enric Rodriguez-Carbonell

Frequent Coauthors

• Albert Oliveras 2 shared papers
• Albert Rubio 1 shared papers
• Daniel Larraz 1 shared papers
• Ignasi Ab\'io 1 shared papers
• Marc Brockschmidt 1 shared papers
• Robert Nieuwenhuis 1 shared papers
• Valentin Mayer-Eichberger 1 shared papers