Handbook of Satisfiability

• Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error-Correction Codes

  2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

  14

  citations
• One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction

  2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Constraint Satisfaction and Optimization Open access

  15

  citations
• Optimizing Quantum Space Using Spooky Pebble Games

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

  6

  citations
• Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming

  2022 Information and Computation article Computer Science Formal Methods in Verification

  9

  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
• Applying aspiration in local search for satisfiability

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

  5

  citations

6 results