conftrace_

combinatorial counting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

knot mosaic (1) knot theory (1) state enumeration (1) constraint encoding (1) sat solver (1)

Papers

Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023