conftrace_

combinatorial enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

knot theory (1) knot mosaic (1) constraint encoding (1) search space reduction (1) sat solver (1) combinatorial optimization (1)

Papers

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