conftrace_

component caching

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clause learning (2) symmetric component (1) witness generation (1) pure literal detection (1) skolem function (1) stochastic boolean satisfiability (1) model counting (1) symmetry exploitation (1) conflict-driven clause learning (1) combinatorial optimization (1)

Papers

SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023 Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021