conftrace_

acyclicity encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reachability constraint (1) vertex elimination (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