conftrace_

symmetry breaking

32 papers

Explore in graph

Co-occurring keywords · papers mentioning both

combinatorial optimization (6) constraint programming (4) sat solver (4) sat solving (3) inductive logic programming (3) answer set programming (3) graph neural network (2) neural network (2) quantified boolean formula (2) conflict-based search (2)

Papers

Incremental Symmetry Breaking Constraints for Graph Search Problems AAAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020 A unified theory for the origin of grid cells through the lens of pattern formation NeurIPS 2019 DoubleLex Revisited and Beyond IJCAI 2019 Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding AAAI 2019 Efficient Co-Training of Linear Separators under Weak Dependence COLT 2017 Lifted Symmetry Detection and Breaking for MAP Inference NeurIPS 2015