SAT-Based Techniques for Lexicographically Smallest Finite Models. - Janota, Mikolás; Chow, Choiwah; Araújo, João; Codish, Michael; Vojtechovský, Petr (CoRR, 2025)

Subdirect products and propagating equations with an application to the Moufang Theorem. - Drápal, Ales; Vojtechovský, Petr (Art Discret. Appl. Math., 2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models. - Janota, Mikolás; Chow, Choiwah; Araújo, João; Codish, Michael; Vojtechovský, Petr (2024)

Computing generating sets of minimal size in finite algebras. - Janota, Mikolás; Morgado, António; Vojtechovský, Petr (J. Symb. Comput., 2023)

Estimating the Jacobian matrix of an unknown multivariate function from sample values by means of a neural network. - Latrémolière, Frédéric; Narayanappa, Sadananda; Vojtechovský, Petr (CoRR, 2022)

Permutations in Two Dimensions that Maximally Separate Neighbors. - Al-Bow, Mohammed; Edgington, Jeffrey; Lopez, Mario; Vojtechovský, Petr (Electron. J. Comb., 2019)

Enumeration of racks and quandles up to isomorphism. - Vojtechovský, Petr; Yang, Seung Yeop (Math. Comput., 2019)

Bol loops and Bruck loops of order pq up to isotopism. - Vojtechovský, Petr (Finite Fields Their Appl., 2018)

Distributive and trimedial quasigroups of order 243. - Jedlicka, Premysl; Stanovský, David; Vojtechovský, Petr (Discret. Math., 2017)

Voronoi maps: an approach to individual-based environmental exposure estimation. - Bae, Wan D.; Alkobaisi, Shayma; Meyers, Wade; Narayanappa, Sada; Vojtechovský, Petr (2016)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. - Kinyon, Michael K.; Veroff, Robert; Vojtechovský, Petr (2013)

An interactive framework for spatial joins: a statistical approach to data analysis in GIS. - Alkobaisi, Shayma; Bae, Wan D.; Vojtechovský, Petr; Narayanappa, Sada (GeoInformatica, 2012)

Optimizing map labeling of point features based on an onion peeling approach. - Bae, Wan D.; Alkobaisi, Shayma; Narayanappa, Sada; Vojtechovský, Petr; Bae, Kye Y. (J. Spatial Inf. Sci., 2011)

Searching for small simple automorphic loops. - Johnson, Kenneth W.; Kinyon, Michael K.; Nagy, Gábor Péter; Vojtechovský, Petr (LMS J. Comput. Math., 2011)

Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature. - Bae, Wan D.; Alkobaisi, Shayma; Vojtechovský, Petr; Narayanappa, Sada; Bae, Kye Y. (2010)

How Permutations Displace Points And Stretch Intervals. - Daly, Daniel; Vojtechovský, Petr (Ars Comb., 2009)

Periods in missing lengths of rainbow cycles. - Vojtechovský, Petr (J. Graph Theory, 2009)

Explicit constructions of loops with commuting inner mappings. - Drápal, Ales; Vojtechovský, Petr (Eur. J. Comb., 2008)

The Truncated Tornado in TMBB: A Spatiotemporal Uncertainty Model for Moving Objects. - Alkobaisi, Shayma; Vojtechovský, Petr; Bae, Wan D.; Kim, Seon Ho; Leutenegger, Scott T. (2008)

Colored graphs without colorful cycles. - Ball, Richard N.; Pultr, Ales; Vojtechovský, Petr (Comb., 2007)

The Moufang loops of order 64 and 81. - Nagy, Gábor Péter; Vojtechovský, Petr (J. Symb. Comput., 2007)

An interactive framework for raster data spatial joins. - Bae, Wan D.; Vojtechovský, Petr; Alkobaisi, Shayma; Leutenegger, Scott T.; Kim, Seon Ho (2007)

Toward the classification of Moufang loops of order 64. - Vojtechovský, Petr (Eur. J. Comb., 2006)

An Improved Approximation Factor For The Unit Disk Covering Problem. - Narayanappa, Sada; Vojtechovský, Petr (2006)

Linear groupoids and the associated wreath products. - Phillips, J. D.; Vojtechovský, Petr (J. Symb. Comput., 2005)

Combinatorial polarization, code loops, and codes of high level. - Vojtechovský, Petr (Int. J. Math. Math. Sci., 2004)

Reconstruction of Group Multiplication Tables by Quadrangle Criterion. - Vojtechovský, Petr (Eur. J. Comb., 2001)