BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Japan
1 × Portugal
2 × Austria
2 × United Kingdom
5 × USA
Collaborated with:
R.Nieuwenhuis E.Rodríguez-Carbonell A.Rubio J.Larrosa D.Larraz F.Heras S.K.Lahiri I.Abío R.Asín G.Faure K.Nimkar M.Bofill H.Ganzinger G.Hagen C.Tinelli
Talks about:
theori (4) sat (4) solver (3) modulo (3) optim (3) smt (3) max (3) constraint (2) boolean (2) applic (2)

Person: Albert Oliveras

DBLP DBLP: Oliveras:Albert

Facilitated 1 volumes:

SMT 2007Ed

Contributed to:

CAV 20142014
SAT 20142014
SAT 20112011
SAT 20092009
CAV 20082008
SAT 20082008
RTA 20072007
SAT 20072007
CAV 20062006
SAT 20062006
CAV 20052005
RTA 20052005
CAV 20042004

Wrote 14 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.
SAT-2011-AbioNOR #constraints #pseudo #revisited
BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.
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.
SAT-2007-HerasLO #named #satisfiability
MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.
CAV-2006-LahiriNO #abstraction #performance #smt
SMT Techniques for Fast Predicate Abstraction (SKL, RN, AO), pp. 424–437.
SAT-2006-NieuwenhuisO #modulo theories #on the #optimisation #problem #satisfiability
On SAT Modulo Theories and Optimization Problems (RN, AO), pp. 156–169.
CAV-2005-NieuwenhuisO #difference #logic
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.
RTA-2005-NieuwenhuisO #congruence
Proof-Producing Congruence Closure (RN, AO), pp. 453–468.
CAV-2004-GanzingerHNOT #performance
DPLL( T): Fast Decision Procedures (HG, GH, RN, AO, CT), pp. 175–188.

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.