conftrace_

knot theory

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knot mosaic (2) constraint encoding (2) sat solver (2) bilateral robot (1) state enumeration (1) knot untangling (1) combinatorial enumeration (1) combinatorial counting (1) motion primitive (1) cable manipulation (1)

Papers

Counting Knot Mosaics with ALLSAT (Student Abstract) AAAI 2023 Hierarchical Planning for Rope Manipulation using Knot Theory and a Learned Inverse Model CoRL 2023 Autonomously Untangling Long Cables RSS 2022 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022