Login / Signup
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver.
Simge Yatkin
Tolga Ovatman
Published in:
CoRR (2024)
Keyphrases
</>
sat solvers
data analysis
dynamic programming
information retrieval
artificial intelligence
computational intelligence
logic programs