Cover Image

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Banković, Milan
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Automated Readable Proofs of Ruler and Compass Constructions
by: Marinković, Vesna, et al.
Published: (2024)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
by: Bleukx, Ignace, et al.
Published: (2025)

Hyperparameter Optimization of Constraint Programming Solvers
by: Haddad, Hedieh, et al.
Published: (2026)

ASP-FZN: A Translation-based Constraint Answer Set Solver
by: Eiter, Thomas, et al.
Published: (2025)

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention
by: Li, Han, et al.
Published: (2024)

The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
by: Azie, Somtochukwu, et al.
Published: (2025)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
by: Zheng, Jiongzhi, et al.
Published: (2024)

Hierarchical Neural Constructive Solver for Real-world TSP Scenarios
by: Goh, Yong Liang, et al.
Published: (2024)

Rethinking Constraint Awareness for Efficient State Embedding of Neural Routing Solver
by: Yu, Canhong, et al.
Published: (2026)

Compass-Thinker-7B Technical Report
by: Zeng, Anxiang, et al.
Published: (2025)

Automated Large-scale CVRP Solver Design via LLM-assisted Flexible MCTS
by: Guo, Tong, et al.
Published: (2026)

MCTS Based Dispatch of Autonomous Vehicles under Operational Constraints for Continuous Transportation
by: Tomy, Milan, et al.
Published: (2024)

Automated Hazard Detection in Construction Sites Using Large Language and Vision-Language Models
by: Sahraoui, Islem
Published: (2025)

ProofCompass: Enhancing Specialized Provers with LLM Guidance
by: Wischermann, Nicolas, et al.
Published: (2025)

Automated Construction of Medical Indicator Knowledge Graphs Using Retrieval Augmented Large Language Models
by: Wang, Zhengda, et al.
Published: (2025)

Towards Efficient Constraint Handling in Neural Solvers for Routing Problems
by: Bi, Jieyi, et al.
Published: (2026)

Learning Under Laws: A Constraint-Projected Neural PDE Solver that Eliminates Hallucinations
by: Singha, Mainak
Published: (2025)

Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver
by: Marty, Tom, et al.
Published: (2023)

Learning to Insert for Constructive Neural Vehicle Routing Solver
by: Luo, Fu, et al.
Published: (2025)

Safety Instincts: LLMs Learn to Trust Their Internal Compass for Self-Defense
by: Shen, Guobin, et al.
Published: (2025)

MCP-Solver: Integrating Language Models with Constraint Programming Systems
by: Szeider, Stefan
Published: (2024)

Format-Constraint Coupling in Knowledge Graph Construction from Statistical Tables
by: Qi, Jingxuan, et al.
Published: (2026)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, et al.
Published: (2025)

Experience as a Compass: Multi-agent RAG with Evolving Orchestration and Agent Prompts
by: Li, Sha, et al.
Published: (2026)

Value Compass Benchmarks: A Platform for Fundamental and Validated Evaluation of LLMs Values
by: Yao, Jing, et al.
Published: (2025)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

A Study of Solving Life-and-Death Problems in Go Using Relevance-Zone Based Solvers
by: Shih, Chung-Chin, et al.
Published: (2025)

AI-Compass: A Comprehensive and Effective Multi-module Testing Tool for AI Systems
by: Zhu, Zhiyu, et al.
Published: (2024)

Automated Construction of Theme-specific Knowledge Graphs
by: Ding, Linyi, et al.
Published: (2024)

AgentCompass: Towards Reliable Evaluation of Agentic Workflows in Production
by: Kartik, NVJK, et al.
Published: (2025)

Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific Representation
by: Shi, Yu-Zhe, et al.
Published: (2025)

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic
by: Töpfer, Michal, et al.
Published: (2026)

The Impossibility Triangle of Long-Context Modeling
by: Zhou, Yan
Published: (2026)

Do Multimodal Language Models Really Understand Direction? A Benchmark for Compass Direction Reasoning
by: Yin, Hang, et al.
Published: (2024)

Explore-Construct-Filter: An Automated Framework for Rich and Reliable API Knowledge Graph Construction
by: Sun, Yanbang, et al.
Published: (2025)

Compass: Navigating Global Marine Lead Data Integration through Expert-Guided LLM Agent
by: Liu, Yiming, et al.
Published: (2026)

NMR-Solver: Automated Structure Elucidation via Large-Scale Spectral Matching and Physics-Guided Fragment Optimization
by: Jin, Yongqi, et al.
Published: (2025)

Recalibrating the Compass: Integrating Large Language Models into Classical Research Methods
by: Peng, Tai-Quan, et al.
Published: (2025)

Fixing the Broken Compass: Diagnosing and Improving Inference-Time Reward Modeling
by: Li, Jiachun, et al.
Published: (2025)

Everything of Thoughts: Defying the Law of Penrose Triangle for Thought Generation
by: Ding, Ruomeng, et al.
Published: (2023)