Oliveras, Albert

3 publications

JAIR 2025 Improving and Understanding the Power of Satisfaction-Driven Clause Learning Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh

JAIR 2012 A New Look at BDDs for Pseudo-Boolean Constraints Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger

JAIR 2008 MiniMaxSAT: An Efficient Weighted Max-SAT Solver Federico Heras, Javier Larrosa, Albert Oliveras