conftrace_

computer algebra system

1 paper

Explore in graph

Also known as

CAS

Co-occurring keywords · papers mentioning both

matrix enumeration (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