Petr Vojtechovský

29 papers A* 1C 2Misc 2Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2026 C conf
Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
RAMICS
Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm
2025 J jnl
On the Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
CoRR
Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm
2025 J jnl
SAT-Based Techniques for Lexicographically Smallest Finite Models.
CoRR
Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
2024 A* conf
SAT-Based Techniques for Lexicographically Smallest Finite Models.
AAAI
Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
2024 J jnl
Subdirect products and propagating equations with an application to the Moufang Theorem.
Art Discret. Appl. Math.
Ales Drápal, Petr Vojtechovský
2023 J jnl
Computing generating sets of minimal size in finite algebras.
J. Symb. Comput.
Mikolás Janota, António Morgado, Petr Vojtechovský
2022 J jnl
Estimating the Jacobian matrix of an unknown multivariate function from sample values by means of a neural network.
CoRR
Frédéric Latrémolière, Sadananda Narayanappa, Petr Vojtechovský
2019 J jnl
Enumeration of racks and quandles up to isomorphism.
Math. Comput.
Petr Vojtechovský, Seung Yeop Yang
2019 J jnl
Permutations in Two Dimensions that Maximally Separate Neighbors.
Electron. J. Comb.
Mohammed Al-Bow, Jeffrey Edgington, Mario Lopez, Petr Vojtechovský
2018 J jnl
Bol loops and Bruck loops of order
Finite Fields Their Appl.
Petr Vojtechovský
2017 J jnl
Distributive and trimedial quasigroups of order 243.
Discret. Math.
Premysl Jedlicka, David Stanovský, Petr Vojtechovský
2016 Misc conf
Voronoi maps: an approach to individual-based environmental exposure estimation.
SAC
Wan D. Bae, Shayma Alkobaisi, Wade Meyers, Sada Narayanappa, Petr Vojtechovský
2013 — conf
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.
Automated Reasoning and Mathematics
Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
2012 J jnl
An interactive framework for spatial joins: a statistical approach to data analysis in GIS.
GeoInformatica
Shayma Alkobaisi, Wan D. Bae, Petr Vojtechovský, Sada Narayanappa
2011 J jnl
Optimizing map labeling of point features based on an onion peeling approach.
J. Spatial Inf. Sci.
Wan D. Bae, Shayma Alkobaisi, Sada Narayanappa, Petr Vojtechovský, Kye Y. Bae
2011 J jnl
Searching for small simple automorphic loops.
LMS J. Comput. Math.
Kenneth W. Johnson, Michael K. Kinyon, Gábor Péter Nagy, Petr Vojtechovský
2010 Misc conf
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature.
SAC
Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovský, Sada Narayanappa, Kye Y. Bae
2009 J jnl
How Permutations Displace Points And Stretch Intervals.
Ars Comb.
Daniel Daly, Petr Vojtechovský
2009 J jnl
Periods in missing lengths of rainbow cycles.
J. Graph Theory
Petr Vojtechovský
2008 J jnl
Explicit constructions of loops with commuting inner mappings.
Eur. J. Comb.
Ales Drápal, Petr Vojtechovský
2008 C conf
The Truncated Tornado in TMBB: A Spatiotemporal Uncertainty Model for Moving Objects.
DEXA
Shayma Alkobaisi, Petr Vojtechovský, Wan D. Bae, Seon Ho Kim, Scott T. Leutenegger
2007 — conf
An interactive framework for raster data spatial joins.
GIS
Wan D. Bae, Petr Vojtechovský, Shayma Alkobaisi, Scott T. Leutenegger, Seon Ho Kim
2007 J jnl
Colored graphs without colorful cycles.
Comb.
Richard N. Ball, Ales Pultr, Petr Vojtechovský
2007 J jnl
The Moufang loops of order 64 and 81.
J. Symb. Comput.
Gábor Péter Nagy, Petr Vojtechovský
2006 — conf
An Improved Approximation Factor For The Unit Disk Covering Problem.
CCCG
Sada Narayanappa, Petr Vojtechovský
2006 J jnl
Toward the classification of Moufang loops of order 64.
Eur. J. Comb.
Petr Vojtechovský
2005 J jnl
Linear groupoids and the associated wreath products.
J. Symb. Comput.
J. D. Phillips, Petr Vojtechovský
2004 J jnl
Combinatorial polarization, code loops, and codes of high level.
Int. J. Math. Math. Sci.
Petr Vojtechovský
2001 J jnl
Reconstruction of Group Multiplication Tables by Quadrangle Criterion.
Eur. J. Comb.
Petr Vojtechovský