conftrace_

vertex elimination

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reachability constraint (1) acyclicity encoding (1) graph encoding (1) acyclicity constraint (1) sat encoding (1) propositional formula (1) sat solver (1) directed graph (1)

Papers

Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022