Structural Constraints

Ask about this field

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-21

8 new papers

A weekly snapshot of new work published in Structural Constraints.

Period ending 2026-09-14

8 new papers

A weekly snapshot of new work published in Structural Constraints.

Period ending 2026-09-07

9 new papers

A weekly snapshot of new work published in Structural Constraints.

Inside this field

Focused directions

317 papers

Latest in Structural Constraints

Browse all topics →
CardsList

  1. Smooth Learning with Hard Constraints via Legendre-Regularized Policies

    Jul 27, 2026Zikun Lin, Rui Chen, Yijie WangOptimal PoliciesRegularization Techniques

  2. Maximum Satisfiability of Simple Temporal Problems

    Jul 26, 2026Johannes K. Fichte, Johanna Groven, Peter Jonsson +2Satisfiability

  3. PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering

    Jul 26, 2026Dongxu Yang, Ziyi LiangKernel ContractsTemporal Knowledge Graphs

  4. SymStep: Symbolic Step Verification for Logical Reasoning

    Jul 25, 2026Aida Usmanova, Rui Gao, Dilshod Azizov +2Constraint SatisfactionPuzzle

  5. AREX: Towards a Recursively Self-Improving Agent for Deep Research

    Jul 23, 2026Shuqi Lu, Chaofan Li, Kun Luo +21Deep ResearchRecursive Self-Improvement

  6. Explainable Belief Harmonization under Dynamic Epistemic Partitions

    Jul 23, 2026Adam Kostka, Jarosław A. ChudziakMulti-Agent ReasoningAnswer Set Programming

  7. Explainability Framework for Policy-Aware Autonomous Agents

    Jul 23, 2026Heather Merhout, Daniela InclezanAnswer Set Programming

  8. Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

    Jul 23, 2026Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3Answer Set ProgrammingInequality Constraints

  9. Declarative Problem Solving in UAM Strategic Deconfliction

    Jul 23, 2026Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi +1Multi-Uav SystemsAnswer Set Programming

  10. Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning

    Jul 23, 2026Chufeng Jiang, Neng-Fa ZhouSatisfiabilityNeuro-Symbolic Framework

  11. Agentic Designer: Progressive Multi-Agent Collaboration for Structure-Aware Interior Layout Generation

    Jul 23, 2026Zhijing Yang, Haocheng Lin, Zhihua Xu +4Computer-Aided DesignStructural Constraints

  12. Global Difference Constraint Propagation for Constraint Programming

    Jul 22, 2026Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1Constraint SatisfactionAnswer Set Programming

  13. What General Intelligence Requires: Non-Reducible Constraints Across Levels of Description

    Jul 21, 2026Subhomoy BakshiArtificial Intelligence SystemsCognitive Science

  14. Bridging the Sim-to-Real Gap under Real-Time Constraints in Autonomous Racing

    Jul 20, 2026Hossein Maghsoumi, Yaser P. FallahAutonomous RacingSim-To-Real Gap

  15. Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments

    Jul 20, 2026Shuoming Zhang, Ruiyuan Xu, Haofeng Li +7Context-Free GrammarsCorrectness

  16. ETAS: An Effect-Typed Language for Agent Systems

    Jul 20, 2026Huiri Tan, Yikun Wang, Puyang Zhang +2Runtime EnforcementLabel Constraint Modeling

  17. Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning

    Jul 19, 2026Lucky VermaLabel Constraint ModelingLarge Language Model Reasoning

  18. Supporting Autonomous Process Execution within a Multi-Perspective Constraint Frame via Numeric Planning

    Jul 18, 2026Paul Wittlinger, Giacomo Acitelli, Anti Alman +2Business ProcessesAutonomy

  19. Constraint-Anchored Reasoning Traces

    Jul 18, 2026Zehua Cheng, Wei Dai, Jiahao SunLarge Language Model ReasoningMulti-Modal Large Language Models

  20. Constrained Hebbian Learning Supports Efficient Representational Allocation under Structural Constraints

    Jul 17, 2026Patrick Inoue, Florian Röhrbein, Andreas KnoblauchRepresentational CapacityStructural Constraints

  21. Hard Rules, Soft Preferences: Bridging Reasoning, Learning, and Optimization for Personalized Packing Checklist Generation

    Jul 17, 2026Himel Dev, Madhusudan Basak, Tanmoy Sen +2TourModel Preference

  22. Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience

    Jul 16, 2026Ruben MartinsSatisfiabilityFuture Llm-Assisted Solver Development

  23. Cyclone: Diffusion Model for Cycle-Consistent Weather Editing from Unpaired Driving Data

    Jul 15, 2026Thang-Anh-Quan Nguyen, Moussab Bennehar, Luis Guillermo Roldao Jimenez +5Adverse WeatherNaturalistic Driving Data

  24. Constraint-Driven Model Optimization: An Industry Framework for Selecting Compression and Acceleration Techniques in Modern Machine Learning Systems

    Jul 15, 2026Dhruv Shivkant, Saket Mohanty, Utkarsh WadhwaLlm-Based Optimization ModelingResource-Constrained Edge Devices

  25. EZSMT Version 3, Matured

    Jul 15, 2026Yuliya LierlerAnswer Set ProgrammingMaturation

  26. Automatic Model-Hardware Co-Adaptation for Heterogeneous AI Accelerators

    Jul 14, 2026Tian Chen, Mingheng Mi, Pu Wang +2LLM Inference EfficiencyInference Engine

  27. Directional Constraints for Efficient Exploration in Safe Reinforcement Learning

    Jul 14, 2026Paolo Magliano, Puze Liu, Jan Peters +2Safety ConstraintsConstrained Reinforcement Learning

  28. MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàSatisfiabilityLarge Vision Language Models

  29. Contrasting statistical patterns in melodic and molecular evolution reveal distinctive constraints in a culturally evolving system

    Jul 14, 2026John M McBride, W Tecumseh FitchFeature AlignmentEvolution

  30. A new dual-population constrained multi-objective evolutionary optimization algorithm with repair constraint handling for structural optimization

    Jul 14, 2026Fardad Homafar, Jasmin JelovicaMulti-Objective OptimizationEvolutionary Search

  31. SPARC-Net: A Spectral, Causality-Aware, and Hard-Constrained Physics-Informed Architecture for Stiff and Shock-Dominated Partial Differential Equations

    Jul 13, 2026Divyavardhan Singh, Dimple Sonone, Hammad Mohammad +1Partial Differential Equation BenchmarksPartial Differential Equations

  32. Lower Bound on the Cumulative Constrained Violation for the OGD+Projection algorithm for Constrained Online Convex Optimization (COCO)

    Jul 12, 2026Haricharan Balasundaram, Karthick Krishna Mahendran, Rahul VazeConvex OptimizationO(T^Β)$ Simultaneous Regret

  33. Adaptive Search in Collatz Exponent-Code Space via 2-adic and 3-adic Constraints

    Jul 10, 2026Oliver KramerConjectureSearch Algorithms

  34. Steering Neural Network Training through Interpretable Constraints Based on Partial Dependence

    Jul 9, 2026Yann Claes, Pierre Geurts, Vân Anh Huynh-ThuNeural NetworkMachine Learning

  35. Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models

    Jul 9, 2026Jakob Suchan, Julius Monsen, Salim Baloch +1Answer Set ProgrammingNeuro-Symbolic Framework

  36. Who Analyses the Analyser? Self-Validating LLM Hazard Analysis with Constitutional Meta-STPA

    Jul 9, 2026Samuel Tetteh, Udip Shrestha, Joshua R. Waite +1Large Language Model SafetyFewer Tool-Call Errors

  37. From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction

    Jul 8, 2026Shengyi WangPlanar MazesConstraint-Aware Synthesis

  38. Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints

    Jul 8, 2026Ahan Basu, Ratnangshu Das, Soumyodipta Nath +2Inference-Time ControlStructural Constraints

  39. CP-WSP: A Declarative CP-SAT Framework for Configurable Multi-Constraint Workforce Scheduling

    Jul 6, 2026Vipul Patel, Anirudh Deodhar, Dagnachew BirruCombinatorial OptimizationSatisfiability

  40. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs

    Jul 6, 2026Qiuyi Qi, Jinjian Zhang, Mutian Bao +9Large Language Model PlanningLabel Constraint Modeling

  41. CSB: A Counting and Sampling tool for Bit-vectors

    Jul 5, 2026Arijit Shaw, Kuldeep S. MeelSatisfiabilityAnswer Set Programming

  42. Applying Answer Set Programming with Fuzzy Membership Functions: a Case Study

    Jul 3, 2026Luca Ferragina, Ilenia Galati, Lorena Gullone +1Answer Set ProgrammingInductive Logic Programming

  43. Text as Partial Constraint: Core-Residual Alignment for Robust Vision-Language Learning

    Jul 3, 2026Chengzhen Yu, Canran Xiao, Siyuan Ma +1Vision-Language AlignmentLarge Vision Language Models

  44. Training-free Controllable Human Motion Generation under Heterogeneous Constraints

    Jul 2, 2026Xiaofei Hui, Bo Yan, Haoxuan Qu +2Human Motion GenerationControllable Video Generation

  45. SpaceEra++: A Unified Framework Towards 3D Spatial Reasoning in Video

    Jul 2, 2026Weili Guan, Haoyu Zhang, Meng Liu +33D Spatial ReasoningSpatial Reasoning

  46. GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics

    Jul 1, 2026Jeffrey Fang, Keyi Shen, Anutam Srinivasan +1Multi-Gpu SystemsCondition Number

  47. LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection

    Jul 1, 2026Stefan SzeiderSatisfiabilityTheorem

  48. "Don't Say It!": Constraints, Compliance, and Communication when Language Models Play Taboo

    Jul 1, 2026Sara Candussio, Francesca Padovani, Daniel Scalena +1Reasoning TrapCompliance

  49. Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts

    Jun 30, 2026Rajeev Goré, Cormac KikkertSatisfiabilityTheorem

  50. ShellMaker: Language-Guided Exterior Completion under Structural Constraints

    Jun 30, 2026Ruiqi Xu, Daniel AliagaIndoor Scene GenerationFurniturevla

  51. AI-Assisted Discovery of Convex Relaxations via Dual Agents

    Jun 30, 2026Sungyoon Kim, Mert PilanciUpper BoundsInequalities

  52. Trajectory Optimization for Collision-Aware Redundant Robotic Multi-Axis Additive Manufacturing by Constrained Gradient Projection

    Jun 29, 2026Zhikai Shen, Jiasheng Qu, Chenyu Xu +4Collision-Free TrajectoriesTrajectory Optimization

  53. Optimizing Nursing Care Taxi Dispatch Leveraging Integer Linear Programming Solvers and Machine Learning

    Jun 29, 2026Riku Nakao, Akihito Hiromori, Hamada Rizk +1Vehicle Routing ProblemMixed-Integer Programming

  54. Ontology-Guided Evidence Path Inference for Multi-hop Knowledge Graph Question Answering

    Jun 26, 2026Yongxue Shan, Meihan Wu, Cundi Fang +2Knowledge GraphsCode Property Graphs

  55. NormAct: A Benchmark for Hidden Social Norm Compliance in Embodied Planning

    Jun 26, 2026Shiyun Zhao, Xinwei Song, Tianyu Guo +7Social NormsClassical Planning

  56. Making Failure Safe: A Constrained, Verifiable Agent Framework for Open-Web Data Collection

    Jun 25, 2026Bo ChenOnline Data SelectionStructural Constraints

  57. Position Spaces and Graphs

    Jun 24, 2026Rita-Nathalia Assaf, Tom Davot, Frédéric Lardeux +1PositionStructural Constraints

  58. Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation

    Jun 24, 2026Julius Monsen, Jakob Suchan, Mehul Bhatt +1Motion PlannersInteraction Trajectories

  59. Constraint Tax in Open-Weight LLMs: An Empirical Study of Tool Calling Suppression Under Structured Output Constraints

    Jun 24, 2026Fangzheng Li, Aimin Zhang, Chen LvCallMulti-Turn Tool-Use Agent

  60. UC-Search: Risk-Aware Test-Time Search for Delayed Constrained Time-Series Control

    Jun 24, 2026Xibai WangSearch AlgorithmsTrajectory Optimization