David Stanovský

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Topics

High Recognition Accuracy

Visual Recognition

Stochastic Local Search Algorithms

Top Venues

Int. J. Algebra Comput.

Publications

Premysl Jedlicka, David Stanovský, Petr Vojtechovský
Distributive and trimedial quasigroups of order 243. Discret. Math. 340 (3) (2017)
Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. ICMS (2016)
Andrew Fish, Alexei Lisitsa, David Stanovský
A combinatorial approach to knot recognition. CoRR (2015)
Andrew Fish, Alexei Lisitsa, David Stanovský
A Combinatorial Approach to Knot Recognition. EGC (2015)
David Stanovský
Subdirectly Irreducible differential Modes. Int. J. Algebra Comput. 22 (4) (2012)
J. D. Phillips, David Stanovský
Automated theorem proving in quasigroup and loop theory. AI Commun. 23 (2-3) (2010)
Jirí Vyskocil, David Stanovský, Josef Urban
Automated Proof Compression by Invention of New Definitions. LPAR (Dakar) (2010)
Agata Pilitowska, Anna B. Romanowska, David Stanovský
Varieties of Differential Modes Embeddable into Semimodules. Int. J. Algebra Comput. 19 (5) (2009)
A. V. Kravchenko, Agata Pilitowska, Anna B. Romanowska, David Stanovský
Differential Modes. Int. J. Algebra Comput. 18 (3) (2008)