conftrace_

knot mosaic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knot theory (2) constraint encoding (2) sat solver (2) combinatorial counting (1) state enumeration (1) combinatorial enumeration (1) search space reduction (1) combinatorial optimization (1)

Papers

Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022