Robert W. McGrail

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 2

Top Topics

Geometrical Interpretation

Solving Constraint Satisfaction Problems

Top Venues

ACM Commun. Comput. Algebra

Publications

Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda
Knot Coloring as Verification. SYNASC (2020)
Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. SYNASC (2018)
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)
Peter B. Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac, Aleksandar Chakarov
Tricolorable torus knots are NP-complete. ACM Southeast Regional Conference (2009)
Bella Manoim, Robert W. McGrail
Toward an Ontology for Finite Algebras. ISWC (Posters & Demos) (2008)
Robert W. McGrail, Mary Sharac
Tricoloring as a corrective measure (abstract only). ACM Commun. Comput. Algebra 42 (1-2) (2008)
Robert W. McGrail, S. Rebecca Thomas
TICK: A Content Management System Framework for Semantic Web Research and Instruction. FLAIRS Conference (2007)
Tracey Baldwin McGrail, Robert W. McGrail
Sorting the Sortable from the Unsortable. FLAIRS Conference (2006)