conftrace_

propositional model counting

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model counting (2) gaussian elimination (1) satisfying assignment (1) scalable reasoning (1) branching heuristic (1) neural network (1) xor constraint (1) sat solver (1) answer set programming (1) approximate counting (1)

Papers

ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022 Learning Branching Heuristics for Propositional Model Counting AAAI 2021