Omer Rappoport

Orcid: 0009-0003-1518-4033

According to our database¹, Omer Rappoport authored at least 2 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Theory-Modular CHC Satisfiability Artifact.

[DOI]

Dataset, September, 2025

2023

Structure-Guided Solution of Constrained Horn Clauses.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023