note

CHR、CCP、CLP、生成文法

Constraint Handling RulesでConcurrent Constraint Programmingを表現できるらしいね。 サンプルが見たいし、分かりやすく解説が読みたい。 Constraint Handling Rules (CHR) を使った Concurrent Constraint Programming ...
IEEE

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners

Abstract: This paper introduces StreamLLM, a method that uses Large Language Models (LLMs) to generate streamliners for constraint programming. Streamliners narrow the search space to improve the ...
IEEE

Neural Dynamics for Constrained Bi-Objective Quadratic Programming with Applications to ...

Abstract: Neural dynamics is a powerful tool to solve online optimization problems and has been used in many applications. However, some problems cannot be modelled as a single objective optimization ...