conftrace_

unsolvability proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

and or search (1) cyclic search space (1) transposition table (1) depth-first search (1)

Papers

Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces IJCAI 2019