Library

Subject
Tags

2,579 matches · Constraint Satisfaction and Optimization

#
001Inference on location for noisy directional data: A Le Cam approach to quantify the value of the hyperspherical a priori informationOpenAlexPaperDiego Bolón Rodríguez, Davy Paindaveine et al.Aug 1
002<b>GeoBard: Semantic Grounding for Geo-Aware AI Agents</b>OpenAlexPaperMarco Montanari4 days ago
003<b>GeoBard: Semantic Grounding for Geo-Aware AI Agents</b>OpenAlexPaperMarco Montanari4 days ago
004DEX‐LL: Data‐induced Decision EXpert with large language modelsOpenAlexPaperSandro Radovanović, Boris Delibašić et al.4 days ago
005Presentation, Comparison, and Optimizer Semantics: Separations in Certification ComplexityOpenAlexPaperTristan Simas4 days ago
006The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band ReasoningOpenAlexPaperAnderson leveille5 days ago
007Frugal Algorithm Selection for Combinatorial SearchOpenAlexPaperKuş Erdem, Özgür Akgün et al.Jul 23
008Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)OpenAlexPaperJack Liell-Cock, Sam StatonJul 23
009"The Δ = 0 Seepage Protocol, Version 2.1 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band Reasoning"OpenAlexPaperAnderson leveilleJul 22
010Post-Monte Carlo D: MCMC Sampling on Constraint Networks– From Fixed Topology to Structurally Adaptive Inference DynamicsOpenAlexPaperchangzheng zhou, ziqing zhouJul 22
011Post-Monte Carlo D: MCMC Sampling on Constraint Networks– From Fixed Topology to Structurally Adaptive Inference DynamicsOpenAlexPaperZhou Cx, ziqing zhouJul 22
012ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
013ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
014ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
015Hardware acceleration of simulated annealing for constraint satisfaction problemsOpenAlexPaperAndrew Pannone, Rishikesh T. Nair et al.Jul 21
016Dynamic Coord: Advanced Protocols for Multi-Agent Coordination in Agentic Workflows with Robust Task Handoffs and Conflict Resolution MechanismsOpenAlexPaperVinay GoyalJul 20
017Dynamic Coord: Advanced Protocols for Multi-Agent Coordination in Agentic Workflows with Robust Task Handoffs and Conflict Resolution MechanismsOpenAlexPaperVinay GoyalJul 20
018GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AIOpenAlexPaperEhud ShapiroJul 20
019SOLVING NP-HARD OPTIMIZATION PROBLEMS: A COMPARISON OF CLASSICAL APPROXIMATION ALGORITHMS AND MODERN METAHEURISTIC AND LEARNING-BASED METHODSOpenAlexPaperNihat RustamovJul 20
020SOLVING NP-HARD OPTIMIZATION PROBLEMS: A COMPARISON OF CLASSICAL APPROXIMATION ALGORITHMS AND MODERN METAHEURISTIC AND LEARNING-BASED METHODSOpenAlexPaperNihat RustamovJul 20
021Streamliners for Answer Set ProgrammingOpenAlexPaperFlorentina Voboril, Martin Gebser et al.Jul 20
022PredictionsOpenAlexPaperLuka DudkinJul 19
023History-Dependent Recursive Preferences in Markov Decision ProcessesOpenAlexPaperWilliam B. HaskellJul 17
024Reasoning with PropositionsOpenAlexPaperP. N. Johnson-Laird, Ruth M. J. ByrneJul 17
025AI-Driven Scoring System for Open-Ended Mathematical ReasoningOpenAlexPaperMengxue ZhangJul 16
026A Distributed Framework for Compiling and Reasoning with d-DNNFOpenAlexPaperZhewei Xu, Minghao Yin et al.Jul 15
027SpatialPrompting: pose-aware keyframe prompting for 3D spatial QA toward smart indoor environmentsOpenAlexPaperShun Taguchi, Hideki Deguchi et al.Jul 14
028A Comparative Analysis of Max–Min, Max–Product, and Max–Average Compositions in Symmetric Fuzzy RelationOpenAlexPaperKshetrimayum Mangijaobi Devi, Ashem Ingocha Singh et al.Jul 13
029A two-dimensional framework for prior knowledge in goal-directed navigation.OpenAlexPaperYingyan Chen, Phillip Newman et al.Jul 13
030PUFFER OS: AN OPEN-WEIGHT MULTI-LLM ORCHESTRATION OPERATING SYSTEMOpenAlexPaperAshutosh Mondal, Zansoc AI LabsJul 12
031PUFFER OS: AN OPEN-WEIGHT MULTI-LLM ORCHESTRATION OPERATING SYSTEMOpenAlexPaperAshutosh Mondal, Zansoc AI LabsJul 12
032A COMPUTATION THEORY BASED ADAPTIVE AI MODEL FOR EFFICIENT PROBLEM SOLVABILITY AND RESOURCE OPTIMIZATION IN DYNAMIC ENVIRONMENTSOpenAlexPaperM. Anand, Rajath A N et al.Jul 11
033A COMPUTATION THEORY BASED ADAPTIVE AI MODEL FOR EFFICIENT PROBLEM SOLVABILITY AND RESOURCE OPTIMIZATION IN DYNAMIC ENVIRONMENTSOpenAlexPaperAnand M, Rajath A N et al.Jul 11
034A Fuzzy Inference System for the Evaluation of Exploration and Exploitation Capabilities in Metaheuristic Optimization AlgorithmsOpenAlexPaperFernando Fausto, Adrián González et al.Jul 11
035Code for XAI in GAOpenAlexPaperYonggab Kim, Reem Khir et al.Jul 11
036Query-Induced Dynamics in the Space of Inference RegimesOpenAlexPaperLeo A. Kim, Sergey KimJul 11
037Query-Induced Dynamics in the Space of Inference RegimesOpenAlexPaperLeo A. Kim, Sergey KimJul 11
038Research on Inference-Time Early Stopping via Reasoning Energy Minimization (REM)OpenAlexPaperJincheng ZhangJul 11
039Research on Inference-Time Early Stopping via Reasoning Energy Minimization (REM)OpenAlexPaperJincheng ZhangJul 11
040<tt>flingo</tt> – Instilling ASP Expressiveness into Linear Integer ConstraintsOpenAlexPaperPedro Cabalar, Jorge Fandiño et al.Jul 10
041Gray-Box Optimization and the Vertex Coloring ProblemOpenAlexPaperJohanna Gasse, Antonia Heinen et al.Jul 10
042Mixture-of-Retrieval Experts for Reasoning-Guided Multimodal Knowledge ExploitationOpenAlexPaperChunyi Peng, Zhipeng Xu et al.Jul 10
043Similarity-based Portfolio Construction for Black-box OptimizationOpenAlexPaperCatalin-Viorel Dinu, Diederick Vermetten et al.Jul 10
044Temporal Information Retrieval and Extraction: From Foundations to RAGOpenAlexPaperBhawna Piryani, Avishek Anand et al.Jul 10
045When Frequency Fitness Assignment Fails: Trapped States in Frequency-Guided Local SearchOpenAlexPaperJiazheng Zeng, Thomas Weise et al.Jul 10
046Distillation Recovers the Post-Training Ternary Reasoning Collapse (but Does Not Beat a Third Trit-Plane)OpenAlexPaperAdriel Domingues de Souza AndradeJul 9
047Generation and Evaluation of Exploration Terms for Monte Carlo Tree SearchOpenAlexPaperTristan CazenaveJul 9
048Long-Term Power Grid Planning via Answer Set ProgrammingOpenAlexPaperAntonio Ielo, F. Doria et al.Jul 9
049Parallel versions of the mesh adaptive direct search algorithmOpenAlexPaperSébastien Le Digabel, Antoine Lesage-Landry et al.Jul 9
050Scale-Dependence of Post-Hoc Ternary Reasoning Recovery: A Multi-Family Study with a Counterexample and an MoE DissociationOpenAlexPaperAdriel Domingues de Souza AndradeJul 9
051<p>Institutional-level Resources for Adaptation (IR4A) with example quotes.</p>OpenAlexPaperSamantha C. Winter, Kianna Stamps et al.Jul 7
052Improved subexponential analysis of the Random-Action-Removal algorithm for 2-player turn-based games and non-binary AUSOsOpenAlexPaperUri ZwickJul 7
053On Tackling Complex Tasks with Reward Machines and Signal Temporal LogicsOpenAlexPaperAna María Gómez Ruiz, Thao Dang et al.Jul 7
054EPiC: A Four-Valued Evidential Constraint Calculus for First-Order ReasoningOpenAlexPaperJosé Oscar Olmedo-Aguirre, Isaac Machorro-Cano et al.Jul 6
055MMAO: A Metabolic Multi-Agent Optimizer with Endogenous Resource Allocation for Continuous and Discrete OptimizationOpenAlexPaperXU JINLIANGJul 6
056MMAO: A Metabolic Multi-Agent Optimizer with Endogenous Resource Allocation for Continuous and Discrete OptimizationOpenAlexPaperXU JINLIANGJul 6
057Minimal MMAO: A Resource-Closed-Loop Framework for Adaptive Metaheuristic SearchOpenAlexPaperXu JJul 6
058Minimal MMAO: A Resource-Closed-Loop Framework for Adaptive Metaheuristic SearchOpenAlexPaperXu JJul 6
059On the Inevitable Logical Self-Reference Arising from Circumventing Non-Deterministic ReasoningOpenAlexPaperGuojun LiuJul 6
060A Proved Blocking-Set Law and Exhaustion of the Drop-and-Repair Ladder for Rank-22 3×3 Matrix MultiplicationOpenAlexPaperStefan BeuchertJul 4

Showing 60 of 2,579 documents · scroll for more