conftrace_

model enumeration

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

computation tree logic (1) satisfying submodel (1) finite model (1) algebraic structure (1) submodel enumeration (1) kripke structure (1) symmetry breaking (1) sat solving (1) sat solver (1) model checking (1)

Papers

Complete Symmetry Breaking for Finite Models AAAI 2025 Submodel Enumeration for CTL Is Hard AAAI 2024