publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. SAT Sampling at Scale via GPU-based Boolean Constraint Propagation
    Alexander Nadel, Yogev Shalmon, and Ofer Strichman
    arXiv preprint arXiv:2610.28805, 2026
    Introduces GPAP, an open-source GPU engine for Boolean constraint propagation
    arXiv Code
  2. NobleCount: Revisiting a Forgotten Data Structure for Local Search in SAT
    Yogev Shalmon, Alexander Nadel, and Ofer Strichman
    In 26th Conference on Formal Methods in Computer-Aided Design (FMCAD 2026), 2026
    DOI PDF

2025

  1. Enumerating All Boolean Matches
    Alexander Nadel, and Yogev Shalmon
    In 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), 2025
    Best Student Paper Award @ SAT 2025
    DOI Code

2024

  1. Entailing Generalization Boosts Enumeration
    Dror Fried, Alexander Nadel, Roberto Sebastiani, and 1 more author
    In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024
    Code

2023

  1. AllSAT for combinational circuits
    Dror Fried, Alexander Nadel, and Yogev Shalmon
    In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
    Code