conftrace_

algorithm runtime

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

disjoint shortest path (1) edge disjoint (1) vertex disjoint (1) resolution proof (1) proof complexity (1) quantified boolean formula (1) sat solver (1) network optimization (1) combinatorial optimization (1)

Papers

Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs AAAI 2024 A Fast Algorithm for Optimally Finding Partially Disjoint Shortest Paths IJCAI 2018