Copertina

Unfolding Boxes with Local Constraints

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Qian, Long, Wang, Eric, Subercaseaux, Bernardo, Heule, Marijn J. H.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computational Geometry Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automated Symmetric Constructions in Discrete Geometry
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2025)

The Packing Chromatic Number of the Infinite Square Grid is 15
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2023)

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2023)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
di: Przybocki, Benjamin, et al.
Pubblicazione: (2026)

Formal Verification of the Empty Hexagon Number
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

Happy Ending: An Empty Hexagon in Every Set of 30 Points
di: Heule, Marijn J. H., et al.
Pubblicazione: (2024)

Automated Reencoding Meets Graph Theory
di: Przybocki, Benjamin, et al.
Pubblicazione: (2026)

PackIt! Gamified Rectangle Packing
di: Garrison, Thomas, et al.
Pubblicazione: (2024)

Orbitopal Fixing in SAT
di: Anders, Markus, et al.
Pubblicazione: (2026)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
di: Subercaseaux, Bernardo
Pubblicazione: (2025)

Pentagon Minimization without Computation
di: Mackey, John, et al.
Pubblicazione: (2024)

Probabilistic Explanations for Linear Models
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

Euclidean Embedding of Data Using Local Distances
di: Arabadjis, Dimitris
Pubblicazione: (2026)

Hand-Shadow Poser
di: Xu, Hao, et al.
Pubblicazione: (2025)

Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree
di: Medbouhi, Aniss Aiman, et al.
Pubblicazione: (2025)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
di: Duan, Boyan, et al.
Pubblicazione: (2025)

Enhancing Roadway Safety: LiDAR-based Tree Clearance Analysis
di: Carnot, Miriam Louise, et al.
Pubblicazione: (2024)

Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
di: Surynek, Pavel, et al.
Pubblicazione: (2025)

Automated proving in planar geometry based on the complex number identity method and elimination
di: Kovács, Zoltán, et al.
Pubblicazione: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
di: Sobhani, Mahbub E, et al.
Pubblicazione: (2025)

Edge-wise Topological Divergence Gaps: Guiding Search in Combinatorial Optimization
di: Trofimov, Ilya, et al.
Pubblicazione: (2025)

Theorem Discovery Amongst Cyclic Polygons
di: Todd, Philip
Pubblicazione: (2024)

Hearing the shape of an arena with spectral swarm robotics
di: Cazenille, Leo, et al.
Pubblicazione: (2024)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
di: Ariño-Morera, Belén, et al.
Pubblicazione: (2024)

Fast and Accurate Collision Probability Estimation for Autonomous Vehicles using Adaptive Sigma-Point Sampling
di: Cossette, Charles Champagne, et al.
Pubblicazione: (2025)

Search-Based Robot Motion Planning With Distance-Based Adaptive Motion Primitives
di: Kraljusic, Benjamin, et al.
Pubblicazione: (2025)

Recovering Manifold Structure Using Ollivier-Ricci Curvature
di: Saidi, Tristan Luca, et al.
Pubblicazione: (2024)

Generating Diverse TSP Tours via a Combination of Graph Pointer Network and Dispersion
di: Yang, Hao-Tsung, et al.
Pubblicazione: (2026)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
di: Huang, Litian, et al.
Pubblicazione: (2024)

Timetable Nodes for Public Transport Network
di: Rohovyi, Andrii, et al.
Pubblicazione: (2024)

ALPHAGMUT: A Rationale-Guided Alpha Shape Graph Neural Network to Evaluate Mutation Effects
di: Wang, Boshen, et al.
Pubblicazione: (2024)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
di: Srivastava, Karan, et al.
Pubblicazione: (2025)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
di: Stojanović, Vanja, et al.
Pubblicazione: (2025)

Learning Pareto-Optimal Rewards from Noisy Preferences: A Framework for Multi-Objective Inverse Reinforcement Learning
di: Cherukuri, Kalyan, et al.
Pubblicazione: (2025)

From Theory to Throughput: CUDA-Optimized APML for Large-Batch 3D Learning
di: Sharifipour, Sasan, et al.
Pubblicazione: (2025)

ACEV: Unsupervised Intersecting Manifold Segmentation using Adaptation to Angular Change of Eigenvectors in Intrinsic Dimension
di: Boral, Subhadip, et al.
Pubblicazione: (2024)

DL-Polycube: Deep learning enhanced polycube method for high-quality hexahedral mesh generation and volumetric spline construction
di: Yu, Yuxuan, et al.
Pubblicazione: (2024)

Learning Tangent Bundles and Characteristic Classes with Autoencoder Atlases
di: Paluzo-Hidalgo, Eduardo, et al.
Pubblicazione: (2026)