conftrace_

good matrice

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

matrix enumeration (1) computer algebra system (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