Albert Oliveras
Universidad Politécnica de Cataluña
H-index: 27
Europe-Spain
Top articles of Albert Oliveras
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Linear Time Algorithm for Two-Vertex Bottlenecks | Sam Buss Vijay Ganesh Albert Oliveras | 2024/3/16 | |
Analyzing multiple conflicts in SAT: an experimental evaluation | Albert Oliveras Llunell Enric Rodríguez Carbonell Rui Zhao | 2023 | |
IntSat: integer linear programming by conflict-driven constraint learning | Optimization Methods and Software | Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell | 2023/9/23 |
Learning shorter redundant clauses in SDCL using MaxSAT | Albert Oliveras Chunxiao Li Darryl Wu Jonathan Chung Vijay Ganesh | 2023 | |
Employee scheduling with SAT-based pseudo-Boolean constraint solving | IEEE access | Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell Emma Rollon | 2021/10/15 |
A heuristic approach to the design of optimal cross-docking boxes | IEEE access | Robert Nieuwenhuis Albert Oliveras Enric Rodriguez-Carbonell | 2021/9/3 |
Decision levels are stable: towards better SAT heuristics. | Robert Nieuwenhuis Adrià Lozano Albert Oliveras Enric Rodríguez-Carbonell | 2020/5/27 |