MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Albert Oliveras" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Intel Corporation.
by Sava Krstić, Albert Oliveras, Sava Krstić, Albert Oliveras — 2007
… 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
by Robert Nieuwenhuis, Albert Oliveras — 2004 — 2nd International Workshop on Pragmatics of Decision Procedures in Automated Reasoning
… 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
by Robert Nieuwenhuis, Albert Oliveras — 2003 — Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003
…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
by Robert Nieuwenhuis, Albert Oliveras — 2005 — In CAV’05 LNCS 3576
… 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
by Robert Nieuwenhuis, Albert Oliveras — 2006 — In Theory and Applications of Satisfiability Testing (SAT), LNCS 4121
…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
by Robert Nieuwenhuis, Albert Oliveras — 2005 — 16th International Conference on Rewriting Techniques and Applications
…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
by Robert Nieuwenhuis, Albert Oliveras — 2005 — In LPAR’05, LNCS 3835
… 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
by Philippe Salembier, Albert Oliveras, Albert Oliveras Member, Luis Garrido — 1998
… 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
by Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-carbonell
…, Albert Oliveras, Enric Rodríguez-Carbonell ⋆ Abstract. Some modern DPLL-based propositional SAT solvers…
Add To MetaCart

MiniMaxSat: a new weighted Max-SAT solver
by Federico Heras, Javier Larrosa, Albert Oliveras — 2007 — In International Conference on Theory and Applications of Satisfiability Testing
…MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB