The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Albert Oliveras: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras
    SMT Techniques for Fast Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:424-437 [Conf]
  3. 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]
  4. 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]
  5. Robert Nieuwenhuis, Albert Oliveras
    Congruence Closure with Integer Offsets. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:78-90 [Conf]
  6. 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]
  7. Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Abstract DPLL and Abstract DPLL Modulo Theories. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:36-50 [Conf]
  8. Robert Nieuwenhuis, Albert Oliveras
    Proof-Producing Congruence Closure. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:453-468 [Conf]
  9. Robert Nieuwenhuis, Albert Oliveras
    On SAT Modulo Theories and Optimization Problems. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:156-169 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Federico Heras, Javier Larrosa, Albert Oliveras
    MiniMaxSat: A New Weighted Max-SAT Solver. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:41-55 [Conf]
  14. 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]

  15. The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]


  16. A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]


  17. Efficient Generation of Unsatisfiability Proofs and Cores in SAT. [Citation Graph (, )][DBLP]


  18. Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. [Citation Graph (, )][DBLP]


  19. SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. [Citation Graph (, )][DBLP]


  20. Cardinality Networks and Their Applications. [Citation Graph (, )][DBLP]


  21. Practical algorithms for unsatisfiability proof and core generation in SAT solvers. [Citation Graph (, )][DBLP]


  22. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002