Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
Language and Automata Theory and Applications
Satisfiability Parsimoniously Reduces to the Tantrix™ Rotation Puzzle Problem
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Information and Computation
Satisfiability Parsimoniously Reduces to the Tantrix™ Rotation Puzzle Problem
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Hi-index | 14.98 |
Those bases which permit the realization of a planar crossover are characterized.