38 citations
- Georgia Institute of TechnologyUS7 papers
- Cardiff UniversityGB6 papers
- Indian Institute of Technology MadrasIN6 papers
- Leibniz University HannoverDE6 papers
- Max Planck Institute for Gravitational PhysicsDE6 papers
- Montclair State UniversityUS6 papers
- University of Rhode IslandUS6 papers
- American UniversityUS5 papers
- Bard CollegeUS5 papers
- Bar-Ilan UniversityIL5 papers
- California State University, FullertonUS5 papers
- California State University SystemUS5 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026★ 1 cited
CSB: A Counting and Sampling tool for Bit-vectors
Arijit Shaw, Kuldeep S. Meel
Satisfiability modulo theory (SMT) solvers have significantly advanced automated reasoning due to their effectiveness in solving problems across various fields. With the advancemen…
cs.LO2026
Approximate SMT Counting Beyond Discrete Domains
Arijit Shaw, Kuldeep S. Meel
Satisfiability Modulo Theory (SMT) solvers have advanced automated reasoning, solving complex formulas across discrete and continuous domains. Recent progress in propositional mode…
cs.LO2025
Comparing State-Representations for DEL Model Checking
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1
Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…