conftrace_

matrix enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

computer algebra system (1) good matrice (1) computer algebra (1) sat solver (1) combinatorial search (1) constraint solving (1) combinatorial optimization (1)

Papers

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019