EasyChair Smart SlideUser guide
Author: Albert Oliveras

This page shows all presentations of this author published in EasyChair Smart Slide.

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung and Vijay Ganesh

Analyzing Multiple Conflicts in SAT: an Experimental Evaluation

Analyzing Multiple Conflicts in SAT: an Experimental Evaluation

Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao

Decision Levels Are Stable: Towards Better SAT Heuristics

Decision Levels Are Stable: Towards Better SAT Heuristics

Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair