Petr Vojtechovský

According to our database, Petr Vojtechovský authored at least 25 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

SAT-Based Techniques for Lexicographically Smallest Finite Models.

Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Computing generating sets of minimal size in finite algebras.

Mikolás Janota, António Morgado, Petr Vojtechovský

J. Symb. Comput., 2023

2022

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

2019

Enumeration of racks and quandles up to isomorphism.

Petr Vojtechovský, Seung Yeop Yang

Math. Comput., 2019

Permutations in Two Dimensions that Maximally Separate Neighbors.

Mohammed Al-Bow, Jeffrey Edgington, Mario Lopez, Petr Vojtechovský

Electron. J. Comb., 2019

2018

Bol loops and Bruck loops of order <i>pq</i> up to isotopism.

Petr Vojtechovský

Finite Fields Their Appl., 2018

2017

Distributive and trimedial quasigroups of order 243.

Premysl Jedlicka, David Stanovský, Petr Vojtechovský

Discret. Math., 2017

2016

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, 2016

2013

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.

Michael K. Kinyon, Robert Veroff, Petr Vojtechovský

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

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

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

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

2010

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), 2010

2009

Periods in missing lengths of rainbow cycles.

Petr Vojtechovský

J. Graph Theory, 2009

How Permutations Displace Points And Stretch Intervals.

Daniel Daly, Petr Vojtechovský

Ars Comb., 2009

2008

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

Proceedings of the Database and Expert Systems Applications, 19th International Conference, 2008

2007

The Moufang loops of order 64 and 81.

Gábor Péter Nagy, Petr Vojtechovský

J. Symb. Comput., 2007

Colored graphs without colorful cycles.

Richard N. Ball, Ales Pultr, Petr Vojtechovský

Comb., 2007

An interactive framework for raster data spatial joins.

Wan D. Bae, Petr Vojtechovský, Shayma Alkobaisi, Scott T. Leutenegger, Seon Ho Kim

Proceedings of the 15th ACM International Symposium on Geographic Information Systems, 2007

2006

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, 2006

2005

Linear groupoids and the associated wreath products.

J. D. Phillips, Petr Vojtechovský

J. Symb. Comput., 2005

2004

Combinatorial polarization, code loops, and codes of high level.

Petr Vojtechovský

Int. J. Math. Math. Sci., 2004

2001

Reconstruction of Group Multiplication Tables by Quadrangle Criterion.

Petr Vojtechovský

Eur. J. Comb., 2001