SATzilla: Portfolio-based Algorithm Selection for SAT

• Reproducibility of the NeurIPS 2020 Black-Box Optimization Challenge: Re-evaluating Competition Submissions

  2026 conference-paper Computer Science Machine Learning and Data Classification Open access

  0

  citations
• Instance Selection Methods in Automated Algorithm Configuration

  2026 The European Journal on Artificial Intelligence article Computer Science Machine Learning and Data Classification Open access

  0

  citations
• Large-Scale Benchmarking of Metaphor-Based Optimization Heuristics

  2024 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

  22

  citations
• First three years of the international verification of neural networks competition (VNN-COMP)

  2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent

  66

  citations
• Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems

  2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access

  2

  citations
• Meta-Learning

  2022 Springer eBooks book-chapter Computer Science Reinforcement Learning in Robotics

  1

  citations
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

  34

  citations

7 results