| Sustainable Benchmarking Tool |
Ashlin Iser, Marie Anastacio, Théo Matricon, Laurent Simon, Holger H. Hoos |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) |
2026 |
| Efficient Identification of Isomorphic SAT Instances |
Ashlin Iser, Frederick Gehm |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) |
2026 |
| Active Learning for SAT Solver Benchmarking |
Tobias Fuchs, Jakob Bach, Ashlin Iser |
Journal of Automated Reasoning |
2025 |
| Proceedings of SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions |
Editors: Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda |
University of Helsinki, Department of Computer Science |
2024 |
| Automated Explanation Selection for Scientific Discovery |
Ashlin Iser |
Workshop on Composite AI (CompAI), Co-located with ECAI 2024 |
2024 |
| Global Benchmark Database |
Ashlin Iser, Christoph Jabs |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) |
2024 |
| Oracle-Based Local Search for Pseudo-Boolean Optimization |
Ashlin Iser, Jeremias Berg, Matti Järvisalo |
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023) |
2023 |
| Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions |
Editors: Tomáš Balyo, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda |
University of Helsinki, Department of Computer Science |
2023 |
| Active Learning for SAT Solver Benchmarking |
Tobias Fuchs, Jakob Bach, Ashlin Iser |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) |
2023 |
| A Comprehensive Study of k-Portfolios of Recent SAT Solvers |
Jakob Bach, Ashlin Iser, Klemens Böhm |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) |
2022 |
| Dinosat: A SAT Solver with Native DNF Support |
Thomas Bartel, Tomáš Balyo, Ashlin Iser |
Pragmatics of SAT (POS 2022) |
2022 |
| SATViz: Real-Time Visualization of Clausal Proofs |
Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele,
Johann Zuber, Tobias Heuer, and Ashlin Iser |
Pragmatics of SAT (POS 2022) |
2022 |
| Unit Propagation with Stable Watches (+Video) |
Ashlin Iser, Tomáš Balyo |
27th International Conference on Principles and Practice of Constraint Programming (CP 2021) |
2021 |
| Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator |
Johannes Werner, Tomáš Balyo, Ashlin Iser, Michael Klein |
23rd Configuration Workshop (ConfWS 2021) |
2021 |
| SAT Competition 2020 |
Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda |
Artificial Intelligence Journal (AIJ) |
2021 |
| Collaborative Management of Benchmark Instances and their Attributes |
Ashlin Iser, Luca Springer, Carsten Sinz |
arXiv preprint |
2020 |
| Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions |
Editors: Tomáš Balyo, Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda |
University of Helsinki, Department of Computer Science |
2020 |
| Recognition and Exploitation of Gate Structure in SAT Solving (Dissertation) |
Ashlin Iser |
Karlsruhe Institute of Technology, Germany |
2020 |
| Memory Efficient Parallel SAT Solving with Inprocessing |
Ashlin Iser, Tomáš Balyo, Carsten Sinz |
IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019) |
2019 |
| Candy for SAT Race 2019 |
Ashlin Iser, Felix Kutzner |
SAT RACE 2019 |
2019 |
| Systematic Analysis of Experiments in Solving Boolean Satisfiability Problems |
Ashlin Iser |
Deduktionstreffen |
2019 |
| Integrating Static Code Analysis Toolchains |
Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frederic Loiret, Stefan Otten, Eric Sax |
IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) |
2019 |
| A Problem Meta-Data Library for Research in SAT |
Ashlin Iser, Carsten Sinz |
Proceedings of Pragmatics of SAT |
2019 |
| Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers |
Ashlin Iser, Felix Kutzner, Carsten Sinz |
IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI 2017) |
2017 |
| System Description of Candy Kingdom - A Sweet Family of SAT Solvers |
Ashlin Iser, Felix Kutzner |
SAT COMPETITION 2017 |
2017 |
| SAT Race 2015 |
Tomáš Balyo, Armin Biere, Ashlin Iser, Carsten Sinz |
Journal of Artificial Intelligence |
2016 |
| Beans and Eggs - Proteins for Glucose 3.0 |
Ashlin Iser |
SAT COMPETITION 2016 |
2016 |
| Recognition of Nested Gates in CNF Formulas |
Ashlin Iser, Norbert Manthey, Carsten Sinz |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2015) |
2015 |
| Minimizing Models for Tseitin-Encoded SAT Instances |
Ashlin Iser, Carsten Sinz, Mana Taghdiri |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) |
2013 |
| Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod |
Ashlin Iser, Mana Taghdiri, Carsten Sinz |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) |
2012 |
| MiniSAT 09z for SAT-Competition 2009 |
Ashlin Iser |
SAT 2009 competitive events booklet |
2009 |
| Problem-Sensitive Restart Heuristics for the DPLL Procedure |
Carsten Sinz, Ashlin Iser |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2009) |
2009 |
