HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Albert Oliveras

Publications
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation
Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Decision levels are stable: towards better SAT heuristics
Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

AI heuristics, automated reasoning, conflict analysis, constraint solving, experimental evaluation, logic programming, SAT, SAT/SMT.

Copyright © 2012-2025 easychair.org. All rights reserved.