|
Search the dblp DataBase
Albert Oliveras:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
DPLL( T): Fast Decision Procedures. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:175-188 [Conf]
- Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras
SMT Techniques for Fast Predicate Abstraction. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:424-437 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:321-334 [Conf]
- Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
Splitting on Demand in SAT Modulo Theories. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:512-526 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
Congruence Closure with Integer Offsets. [Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:78-90 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:23-46 [Conf]
- Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
Abstract DPLL and Abstract DPLL Modulo Theories. [Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:36-50 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
Proof-Producing Congruence Closure. [Citation Graph (0, 0)][DBLP] RTA, 2005, pp:453-468 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
On SAT Modulo Theories and Optimization Problems. [Citation Graph (0, 0)][DBLP] SAT, 2006, pp:156-169 [Conf]
- Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). [Citation Graph (0, 0)][DBLP] J. ACM, 2006, v:53, n:6, pp:937-977 [Journal]
- Philippe Salembier, Albert Oliveras, Luis Garrido
Antiextensive connected operators for image and sequence processing. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Image Processing, 1998, v:7, n:4, pp:555-570 [Journal]
- Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Challenges in Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:2-18 [Conf]
- Federico Heras, Javier Larrosa, Albert Oliveras
MiniMaxSat: A New Weighted Max-SAT Solver. [Citation Graph (0, 0)][DBLP] SAT, 2007, pp:41-55 [Conf]
- Robert Nieuwenhuis, Albert Oliveras
Fast congruence closure and extensions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:557-580 [Journal]
The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]
A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. [Citation Graph (, )][DBLP]
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. [Citation Graph (, )][DBLP]
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. [Citation Graph (, )][DBLP]
Cardinality Networks and Their Applications. [Citation Graph (, )][DBLP]
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs
|