Acyclic Constraint Logic and Games

Hendrik Jan Hoogeboom, Walter A. Kosters, Jan N. van Rijn, Jonathan K. Vis · ICGA Journal · 2014

Non-deterministic Constraint Logic is a family of graph games introduced by Demaine and Hearn that facilitates the construction of complexity proofs. It is very convenient for the analysis of games, providing a uniform view. We focus on the acyclic v

Read the paper · More papers on PaperTik