Albert Oliveras

Available identifiers

zbMath Open oliveras.albertWikidataQ77859393 ScholiaQ77859393MaRDI QIDQ438574

List of research outcomes

Publication	Date of Publication	Type
Proving Termination Through Conditional Termination	2020-08-05	Paper
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers	2019-11-22	Paper
Speeding up the Constraint-Based Method in Difference Logic	2016-09-05	Paper
Solving SAT and SAT Modulo Theories	2015-12-04	Paper
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions	2014-09-26	Paper
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints	2014-05-12	Paper
A New Look at BDDs for Pseudo-Boolean Constraints	2012-12-03	Paper
SAT modulo linear arithmetic for solving polynomial constraints	2012-07-31	Paper
BDDs for Pseudo-Boolean Constraints – Revisited	2011-06-17	Paper
Cardinality networks: a theoretical and empirical study	2011-05-25	Paper
A framework for certified Boolean branch-and-bound optimization	2011-04-05	Paper
Semiring-Induced Propositional Logic: Definition and Basic Algorithms	2011-01-07	Paper
Practical algorithms for unsatisfiability proof and core generation in SAT solvers	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3408132	2010-02-24	Paper
Cardinality Networks and Their Applications	2009-07-07	Paper
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3624109	2009-04-28	Paper
Efficient Generation of Unsatisfiability Proofs and Cores in SAT	2009-01-27	Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers	2008-05-27	Paper
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools	2008-05-27	Paper
Splitting on Demand in SAT Modulo Theories	2008-05-27	Paper
Challenges in Satisfiability Modulo Theories	2008-01-02	Paper
On SAT Modulo Theories and Optimization Problems	2007-09-04	Paper
Fast congruence closure and extensions	2007-04-16	Paper
Computer Aided Verification	2006-01-10	Paper
Term Rewriting and Applications	2005-11-11	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4232673	1999-03-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Albert Oliveras