Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition.

Wei Li, Peter van Beek

Browse the full ICTAI paper archive.