BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × France
2 × Austria
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
A.Oliveras R.Nieuwenhuis A.Rubio D.Larraz D.Kapur R.Bagnara E.Zaffanella I.Abío R.Asín J.Larrosa G.Faure K.Nimkar C.Borralleras S.Lucas R.Navarro-Marset M.Bofill
Talks about:
generat (4) polynomi (3) arithmet (3) modulo (3) linear (3) invari (3) smt (3) constraint (2) approach (2) boolean (2)

Person: Enric Rodríguez-Carbonell

DBLP DBLP: Rodr=iacute=guez-Carbonell:Enric

Contributed to:

CAV 20142014
SAT 20142014
VMCAI 20132013
SAT 20112011
CADE 20092009
SAT 20092009
CAV 20082008
SAT 20082008
RTA 20072007
SAS 20052005
SAS 20042004

Wrote 12 papers:

CAV-2014-LarrazNORR #proving #using
Proving Non-termination Using Max-SMT (DL, KN, AO, ERC, AR), pp. 779–796.
SAT-2014-LarrazORR #constraints #polynomial
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
VMCAI-2013-LarrazRR #array #generative #invariant #smt
SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
SAT-2011-AbioNOR #constraints #pseudo #revisited
BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.
CADE-2009-BorrallerasLNRR #linear #polynomial #satisfiability
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (CB, SL, RNM, ERC, AR), pp. 294–305.
SAT-2009-AsinNOR #network
Cardinality Networks and Their Applications (RA, RN, AO, ERC), pp. 167–180.
SAT-2009-LarrosaNOR #bound #branch #generative #optimisation
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
CAV-2008-BofillNORR #smt
The Barcelogic SMT Solver (MB, RN, AO, ERC, AR), pp. 294–298.
SAT-2008-FaureNOR #formal method #linear #satisfiability
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers (GF, RN, AO, ERC), pp. 77–90.
RTA-2007-NieuwenhuisORR #challenge #modulo theories #satisfiability
Challenges in Satisfiability Modulo Theories (RN, AO, ERC, AR), pp. 2–18.
SAS-2005-BagnaraRZ #algebra #generative #invariant #using
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
SAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.