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

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

SAT-Based Techniques for Lexicographically Smallest Finite Models - Mikolás Janota; Choiwah Chow; João Araújo; Michael Codish; Petr Vojtechovský (Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, 2024)

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

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

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

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

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

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

Voronoi maps: an approach to individual-based environmental exposure estimation - Wan D. Bae; Shayma Alkobaisi; Wade Meyers; Sada Narayanappa; Petr Vojtechovský (Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, 2016)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction - Michael K. Kinyon; Robert Veroff; Petr Vojtechovský (Automated Reasoning and Mathematics - Essays in Memory of William W. McCune, 2013)

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

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

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

Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature - Wan D. Bae; Shayma Alkobaisi; Petr Vojtechovský; Sada Narayanappa; Kye Y. Bae (Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, 2010)

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

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

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

The Truncated Tornado in TMBB: A Spatiotemporal Uncertainty Model for Moving Objects - Shayma Alkobaisi; Petr Vojtechovský; Wan D. Bae; Seon Ho Kim; Scott T. Leutenegger (Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, 2008)

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

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

An interactive framework for raster data spatial joins - Wan D. Bae; Petr Vojtechovský; Shayma Alkobaisi; Scott T. Leutenegger; Seon Ho Kim (15th ACM International Symposium on Geographic Information Systems, ACM-GIS 2007, November 7-9, 2007, Seattle, Washington, USA, Proceedings, 2007)

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

An Improved Approximation Factor For The Unit Disk Covering Problem - Sada Narayanappa; Petr Vojtechovský (Proceedings of the 18th Annual Canadian Conference on Computational Geometry, CCCG 2006, August 14-16, 2006, Queen's University, Ontario, Canada, 2006)

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

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

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