Albert Oliveras

Available identifiers

zbMath Open oliveras.albertWikidataQ77859393 ScholiaQ77859393MaRDI QIDQ438574

List of research outcomes

Publication	Date of Publication	Type
Learning shorter redundant clauses in SDCL using MaxSAT	2024-11-26	Paper
IntSat: integer linear programming by conflict-driven constraint learning	2024-08-12	Paper
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
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
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers	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

This page was built for person: Albert Oliveras