Ashlin Iser
10 publications
4 venues
H Index 6
Affiliation
Karlsruhe Institute of Technology (KIT), Karlsruhe, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Global Benchmark Database.
|
SAT | 2024 | 6 |
| Oracle-Based Local Search for Pseudo-Boolean Optimization.
|
ECAI | 2023 | 4 |
| A Comprehensive Study of k-Portfolios of Recent SAT Solvers.
|
SAT | 2022 | 4 |
| SAT Competition 2020.
|
Artificial Intelligence | 2021 | 73 |
| Unit Propagation with Stable Watches (Short Paper).
|
CP | 2021 | 0 |
| SAT Race 2015.
|
Artificial Intelligence | 2016 | 65 |
| Recognition of Nested Gates in CNF Formulas.
|
SAT | 2015 | 8 |
| Minimizing Models for Tseitin-Encoded SAT Instances.
|
SAT | 2013 | 10 |
| Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).
|
SAT | 2012 | 6 |
| Problem-Sensitive Restart Heuristics for the DPLL Procedure.
|
SAT | 2009 | 18 |