Image de couverture de livre

Detecting Isohedral Polyforms with a SAT Solver

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kaplan, Craig S.
Format:	Preprint
Publié:	2024
Sujets:	Discrete Mathematics Computational Geometry G.2.0; G.1.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Orthogonality of Generalized Pattern Sequences
par: Li, Shuo
Publié: (2024)

Beyond Worst-Case Subset Sum: An Adaptive, Structure-Aware Solver with Sub-$2^{n/2}$ Enumeration
par: Salas, Jesus
Publié: (2025)

Local generation of languages
par: Hoyrup, Mathieu
Publié: (2025)

Local generation of languages: the monotonic binary sequences
par: Hoyrup, Mathieu
Publié: (2026)

Polymer Dynamics via Cliques: New Conditions for Approximations
par: Friedrich, Tobias, et autres
Publié: (2020)

Approximation Algorithms for Correlated Knapsack Orienteering
par: Espinosa, David Aleman, et autres
Publié: (2024)

Faster Mixing for Triangulations via Transport Flows
par: Alev, Vedat Levi, et autres
Publié: (2026)

Solving Modular Linear Systems with a Constraint by parallel decomposition of the Smith form and extended Euclidean division modulo powers of primes divisors
par: Sule, Virendra
Publié: (2025)

Better Approximation for Weighted $k$-Matroid Intersection
par: Singer, Neta, et autres
Publié: (2024)

PosSLP and Sum of Squares
par: Bläser, Markus, et autres
Publié: (2024)

De Bruijn Sequences with Minimum Discrepancy
par: Álvarez, Nicolás, et autres
Publié: (2024)

Square-Triangle Tilings: Lift & Flip to Sample?
par: Fernique, Thomas, et autres
Publié: (2024)

Skolem Meets Bateman-Horn
par: Luca, Florian, et autres
Publié: (2023)

An Improved Lower Bound on the Number of Pseudoline Arrangements
par: Kühnast, Fernando Cortés, et autres
Publié: (2024)

Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework
par: Willemsen, Rick S. H., et autres
Publié: (2026)

Linear, nested, and quadratic ordered measures: Computation and incorporation into optimization problems
par: Blanco, Victor, et autres
Publié: (2025)

Integer Representations in IEEE 754, Posit, and Takum Arithmetics
par: Hunhold, Laslo
Publié: (2024)

Polynomial Complexity of Inversion of sequences and Local Inversion of Maps
par: Sule, Virendra
Publié: (2024)

Efficient Approximation of Fractional Hypertree Width
par: Korchemna, Viktoriia, et autres
Publié: (2024)

Approximation Algorithms for Capacitated Vehicle Routing Problems: A Comprehensive Survey
par: Chen, Yongyu
Publié: (2023)

The Binary Linearization Complexity of Pseudo-Boolean Functions
par: Walter, Matthias
Publié: (2023)

Optimal covering of rectangular grid graphs with tours of constrained length
par: Bereg, Sergey, et autres
Publié: (2025)

Graph Attention for Heterogeneous Graphs with Positional Encoding
par: Nayak, Nikhil Shivakumar
Publié: (2025)

On the volume of the elliptope and related metric polytopes
par: Avis, David, et autres
Publié: (2026)

Reducing Matroid Optimization to Basis Search
par: Streit, Robert, et autres
Publié: (2024)

Dual VC Dimension Obstructs Sample Compression by Embeddings
par: Chase, Zachary, et autres
Publié: (2024)

Spherical dimension
par: Chornomaz, Bogdan, et autres
Publié: (2025)

A chiral aperiodic monotile
par: Smith, David, et autres
Publié: (2023)

An aperiodic monotile
par: Smith, David, et autres
Publié: (2023)

A first efficient algorithm for enumerating all the extreme points of a bisubmodular polyhedron
par: Matsui, Yasuko, et autres
Publié: (2024)

An efficient algorithm to compute the minimum free energy of interacting nucleic acid strands
par: Shalaby, Ahmed, et autres
Publié: (2024)

Natural Measures on Polyominoes Induced by the Abelian Sandpile Model
par: Sportiello, Andrea
Publié: (2024)

Morphic Sequences: Complexity and Decidability
par: Henry, Raphael
Publié: (2024)

Robot Positioning Using Torus Packing for Multisets
par: Chen, Chung Shue, et autres
Publié: (2024)

Vanishing Signatures, Orbit Closure, and the Converse of the Holant Theorem
par: Cai, Jin-Yi, et autres
Publié: (2025)

Impact of (a)Synchronism on ECA: Towards a New Classification
par: Donoso-Leiva, Isabel, et autres
Publié: (2025)

Robustness of Boolean networks to update modes: an application to hereditary angioedema
par: Demongeot, Jacques, et autres
Publié: (2025)

Trust Region Algorithm for Stochastic Minimax Problems with Decision-Dependent Distributions
par: Gao, Yan, et autres
Publié: (2025)

A unified worst case for classical simplex and policy iteration pivot rules
par: Disser, Yann, et autres
Publié: (2023)

Dyck Paths Enumerated by the Q-bonacci Numbers
par: Barcucci, Elena, et autres
Publié: (2024)