conftrace_

state enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

knot theory (1) knot mosaic (1) combinatorial counting (1) constraint encoding (1) sat solver (1)

Papers

Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023