conftrace_

solver performance

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

literal ordering (1) constraint encoding (1) conjunctive normal form (1) block structure decomposition (1) constraint coefficient matrix (1) block structure (1) block decomposition (1) constraint matrix (1) sat solver encoding (1) propositional satisfiability (1)

Papers

The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025 MILP-StuDio: MILP Instance Generation via Block Structure Decomposition NeurIPS 2024