A machine program for theorem-proving

• Automated Reasoning in Quantum Circuit Compilation

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  4

  citations
• Spatial state-action features for general games

  2023 Artificial Intelligence article Computer Science Artificial Intelligence in Games Open access

  2

  citations
• Hybrid divide-and-conquer approach for tree search algorithms

  2023 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

  9

  citations
• Automated Exercise Generation for Satisfiability Checking

  2023 Lecture notes in computer science conference-paper Computer Science Educational Technology and Assessment

  2

  citations
• Subtropical Satisfiability for SMT Solving

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Experiments with Automated Reasoning in the Class

  2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

  1

  citations
• Applying aspiration in local search for satisfiability

  2020 PLoS ONE article Computer Science Constraint Satisfaction and Optimization Open access

  5

  citations

7 results