Searching for authors named "Albert Oliveras" – sorted by Relevance.
-
Intel Corporation.
- Editors: Sava Krstić, Albert Oliveras Preface This volume contains the proceedings of SMT 2007, the 5th
- Add To MetaCart
-
Union-Find and Congruence Closure Algorithms that Produce Proofs
- Albert Oliveras Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www
- Cited by 2 (0 self) – Add To MetaCart
-
Congruence Closure with Integer Offsets
- Congruence Closure with Integer Offsets Robert Nieuwenhuis and Albert Oliveras ? Technical
- Cited by 18 (3 self) – Add To MetaCart
-
DPLL(T) with exhaustive theory propagation and its application to difference logic
- Nieuwenhuis and Albert Oliveras ⋆ Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability
- Cited by 28 (6 self) – Add To MetaCart
-
On SAT Modulo Theories and Optimization Problems
- On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras ⋆ Abstract
- Cited by 5 (2 self) – Add To MetaCart
-
Proof-producing Congruence Closure
- Proof-Producing Congruence Closure Robert Nieuwenhuis ⋆ and Albert Oliveras ⋆⋆ Technical
- Cited by 19 (2 self) – Add To MetaCart
-
Decision procedures for sat, sat modulo theories and beyond. the barcelogictools
- Nieuwenhuis and Albert Oliveras ⋆⋆ Abstract. An overview is given of a number of recent developments in SAT
- Cited by 12 (1 self) – Add To MetaCart
-
Anti-extensive Connected Operators for Image and Sequence Processing
- Processing Philippe Salembier, Member, IEEE, Albert Oliveras Member, IEEE, and Luis Garrido Abstract
- Cited by 49 (5 self) – Add To MetaCart
-
Efficient Generation of Unsatisfiability Proofs and Cores in SAT
- , Albert Oliveras, Enric Rodríguez-Carbonell ⋆ Abstract. Some modern DPLL-based propositional SAT solvers
- Add To MetaCart
-
MiniMaxSat: a new weighted Max-SAT solver
- MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras
- Cited by 6 (0 self) – Add To MetaCart

