Yogev Shalmon

According to our database, Yogev Shalmon authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Entailing Generalization Boosts Enumeration.

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

AllSAT for Combinational Circuits.

Dror Fried, Alexander Nadel, Yogev Shalmon

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023