Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood. Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. In Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew J. Sommese, editors, Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Volume 9725 of Lecture Notes in Computer Science, pages 51-58, Springer, 2016. [doi]

This author has not been identified. Look up 'Andrew Fish' in GoogleThis author has not been identified. Look up 'Alexei Lisitsa' in GoogleThis author has not been identified. Look up 'David Stanovský' in GoogleThis author has not been identified. Look up 'Sarah Swartwood' in Google

runs on WebDSL