Demo Data from VLDB 2026 / reviewers in the wild / expert
Joel Gabàs
dblp:119/6450
· DBLP profile ↗
6ranked-venue papers
0as first author
0since 2021 · last 2017
0009-0000-8591-4490ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6Software engineering, systems software and programming languages · 2Graphics, computer vision, multimedia, augmented reality and games · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
3 papers |
Automated reasoning and model checking · 89% Mathematical optimization · 11% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › satisfiability
maximum satisfiability |
0.8 | 3 | 2017 | WPM3: An (in)complete algorithm for weighted partial MaxSAT · Artif. Intell. 2017 MaxSAT by improved instance-specific algorithm configuration · Artif. Intell. 2016 Exploiting the Structure of Unsatisfiable Cores in MaxSAT · IJCAI 2015 |
Automated reasoning and model checking
satisfiability |
0.5 | 2 | 2017 | WPM3: An (in)complete algorithm for weighted partial MaxSAT · Artif. Intell. 2017 MaxSAT by improved instance-specific algorithm configuration · Artif. Intell. 2016 |
Automated reasoning and model checking › satisfiability › maximum satisfiability
weighted partial MaxSAT |
0.3 | 1 | 2017 | WPM3: An (in)complete algorithm for weighted partial MaxSAT · Artif. Intell. 2017 |
Mathematical optimization › black-box optimization
algorithm configuration |
0.2 | 1 | 2016 | MaxSAT by improved instance-specific algorithm configuration · Artif. Intell. 2016 |
Automated reasoning and model checking › satisfiability
MaxSAT solving |
0.2 | 1 | 2015 | Exploiting the Structure of Unsatisfiable Cores in MaxSAT · IJCAI 2015 |
Automated reasoning and model checking › satisfiability
unsatisfiable cores |
0.2 | 1 | 2015 | Exploiting the Structure of Unsatisfiable Cores in MaxSAT · IJCAI 2015 |
Methods — techniques the papers use, named apart from their topics
incomplete algorithm · 0.3complete algorithm · 0.3instance-specific algorithm configuration · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | WPM3: An (in)complete algorithm for weighted partial MaxSAT
Carlos Ansótegui, Joel Gabàs |
Artif. Intell. | 2 |
| 2016 | MaxSAT by improved instance-specific algorithm configuration
Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann |
Artif. Intell. | 2 |
| 2015 | Exploiting the Structure of Unsatisfiable Cores in MaxSAT
Carlos Ansótegui, Frédéric Didier, Joel Gabàs |
IJCAI | 3 |
| 2013 | Improving WPM2 for (Weighted) Partial MaxSAT
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
CP | 3 |
| 2013 | Solving (Weighted) Partial MaxSAT with ILP
Carlos Ansótegui, Joel Gabàs |
CPAIOR | 2 |
| 2012 | Improving SAT-Based Weighted MaxSAT Solvers
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
CP | 3 |