Chaahat Jain

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Propositional Satisfiability

Clause Learning

Top Venues

Publications

Martin Bromberger, Chaahat Jain, Christoph Weidenbach
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. CoRR (2023)
Martin Bromberger, Chaahat Jain, Christoph Weidenbach
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. CADE (2023)