publications

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

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

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