James M. Belk

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Forward Checking

Solving Constraint Satisfaction Problems

Tree Decomposition

Path Consistency

Top Venues

ACM Commun. Comput. Algebra

Publications

James M. Belk, Robert W. McGrail
The Word Problem for Finitely Presented Quandles is Undecidable. WoLLIC (2015)
Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. SYNASC (2014)
James M. Belk, Nabil Hossain, Francesco Matucci, Robert W. McGrail
Implementation of a solution to the conjugacy problem in Thompson's group F. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci
Deciding Conjugacy in Thompson's Group F in Linear Time. SYNASC (2013)
James M. Belk, Kenneth S. Brown
Forest Diagrams for Elements of Thompson's Group F. Int. J. Algebra Comput. 15 (5-6) (2005)