Login / Signup
Simge Yatkin
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Sat Solvers
Data Analysis
Computational Intelligence
Logic Programs
Top Venues
CoRR
</>
Publications
</>
Simge Yatkin
,
Tolga Ovatman
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver.
CoRR
(2024)