Ashlin Iser

25 papers A 8B 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Active Learning for SAT Solver Benchmarking.
J. Autom. Reason.
Tobias Fuchs, Jakob Bach, Ashlin Iser
2024 J jnl
Automated Explanation Selection for Scientific Discovery.
CoRR
Ashlin Iser
2024 A conf
Global Benchmark Database.
SAT
Ashlin Iser, Christoph Jabs
2024 J jnl
Global Benchmark Database.
CoRR
Ashlin Iser, Christoph Jabs
2024 J jnl
Integrating Static Code Analysis Toolchains.
CoRR
Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
2023 — conf
Active Learning for SAT Solver Benchmarking.
TACAS (1)
Tobias Fuchs, Jakob Bach, Ashlin Iser
2023 — conf
Construction of Decision Diagrams for Product Configuration.
ConfWS
Maxim Popov, Tomás Balyo, Ashlin Iser, Tobias Ostertag
2023 — conf
Decision Heuristics in a Constraint-based Product Configurator.
ConfWS
Matthias Gorenflo, Tomás Balyo, Ashlin Iser, Tobias Ostertag
2023 A conf
Oracle-Based Local Search for Pseudo-Boolean Optimization.
ECAI
Ashlin Iser, Jeremias Berg, Matti Järvisalo
2022 A conf
A Comprehensive Study of k-Portfolios of Recent SAT Solvers.
SAT
Jakob Bach, Ashlin Iser, Klemens Böhm
2022 J jnl
SATViz: Real-Time Visualization of Clausal Proofs.
CoRR
Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer, Ashlin Iser
2021 — conf
Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator.
ConfWS
Johannes Werner, Tomás Balyo, Ashlin Iser, Michael Klein
2021 J jnl
SAT Competition 2020.
Artif. Intell.
Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda
2021 A conf
Unit Propagation with Stable Watches (Short Paper).
CP
Ashlin Iser, Tomás Balyo
2020 J jnl
Collaborative Management of Benchmark Instances and their Attributes.
CoRR
Ashlin Iser, Luca Springer, Carsten Sinz
2020 — —
Recognition and Exploitation of Gate Structure in SAT Solving.
Ashlin Iser
2019 — conf
Integrating Static Code Analysis Toolchains.
COMPSAC (1)
Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
2019 B conf
Memory Efficient Parallel SAT Solving with Inprocessing.
ICTAI
Ashlin Iser, Tomás Balyo, Carsten Sinz
2018 — conf
A Problem Meta-Data Library for Research in SAT.
POS@SAT
Ashlin Iser, Carsten Sinz
2017 B conf
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.
ICTAI
Ashlin Iser, Felix Kutzner, Carsten Sinz
2016 J jnl
SAT Race 2015.
Artif. Intell.
Tomás Balyo, Armin Biere, Ashlin Iser, Carsten Sinz
2015 A conf
Recognition of Nested Gates in CNF Formulas.
SAT
Ashlin Iser, Norbert Manthey, Carsten Sinz
2013 A conf
Minimizing Models for Tseitin-Encoded SAT Instances.
SAT
Ashlin Iser, Carsten Sinz, Mana Taghdiri
2012 A conf
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).
SAT
Ashlin Iser, Mana Taghdiri, Carsten Sinz
2009 A conf
Problem-Sensitive Restart Heuristics for the DPLL Procedure.
SAT
Carsten Sinz, Ashlin Iser