publications

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

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