" #AliceML is a #functionalprogramming language based on Standard ML, extended with rich support for concurrent, distributed, and #constraintprogramming."
#plt #computerscience
www.ps.uni-saarland.de/alice/
0
0
0
0
#constraintprogramming
Latest posts tagged with #constraintprogramming on Bluesky
Trending
#Javier Bardem
#Jessie Buckley
#Academy Awards
#Autumn Durald Arkapaw
#Wallace
#Diane Warren
#Ryan Coogler
#AEW Championship
#Moulin Rouge
#Teyana Taylor
#Javier Bardem
#Jessie Buckley
#Academy Awards
#Autumn Durald Arkapaw
#Wallace
#Diane Warren
#Ryan Coogler
#AEW Championship
#Moulin Rouge
#Teyana Taylor
Posts tagged #constraintprogramming
The core insight is reframing spreadsheets as constraint systems. Instead of just A+B=C, you can solve for A or B given C and the other variable. Managing 'degrees of freedom' is crucial to avoid ambiguity when multiple solutions exist. #ConstraintProgramming 2/6
0
0
1
0
Did you know that you can watch short videos describing the research published in the Constraints Journal on ACP's YouTube account?
For example: here's a playlist with videos accompanying Vol 29: youtube.com/playlist?lis...
#ConstraintProgramming #ACP #SciComm
0
0
0
0
This paper compares MILP and CP solvers on a new FJS scheduling problem, showing CP is faster and "warm starts" are vital for large instances. #constraintprogramming
0
0
0
0
A performance showdown for Job Shop scheduling. This study pits MILP, CP, and new heuristics against a fresh set of challenging problem instances. #constraintprogramming
0
0
0
0
This article formalizes DAG-based FJS with position-based learning via a MILP using position variables plus a CP Optimizer model. #constraintprogramming
0
0
0
0
Only a few days left to apply!
If you are interested in logic, decision-making, reasoning under uncertainty and statistics, apply by the end of this month for an opportunity to work with me, dr. Sicco Verwer and dr. Fabian Mies at Delft University of Technology!
Application deadline: 31 August […]
1
6
0
0
One month left to apply!
If you are looking for a PhD position and are interested in working on probabilistic inference, sensitivity analysis, and decision-making, this might be the job for you! We are looking for candidates with a strong background in Computer Science, and ideally also in […]
1
7
0
0
Congrats to ir. Roy Katz for successfully defending his MSc thesis: "Adding Ejection Chain to Nurse Rostering Simulated Annealing Solver"!
https://latower.github.io/posts/2025/06/roy-defends/
#AcademicMastodon #ConstraintProgramming #NurseRostering #ConstraintOptimization […]
1
1
0
0
I am hiring!
I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).
Application deadline: 31 August 2025 […]
4
71
0
0
Implementations in languages like Prolog or MiniZinc were mentioned. They showcase how declarative or constraint-based programming paradigms are well-suited for solving constraint satisfaction problems like this. #ConstraintProgramming 5/6
1
1
1
0
7/
Help us recognise and celebrate the research that has shaped our field, and submit your nomination today!
#BestPaperAward
#ConstraintProgramming
#AI
#CallForNominations
0
0
0
0
1/ Don't forget to nominate papers for the Constraints Journal Prominent and Classic Paper Awards 2025 🏆
Nomination deadline: 31 May 2025, AoE.
More info in thread 👇
#BestPaperAward
#ConstraintProgramming
#AI
0
0
1
0
7/7
Help us recognise and celebrate the research that has shaped our field, and submit your nomination today!
#BestPaperAward
#ConstraintProgramming
#AI
#CallForNominations
0
0
0
0
1/7
🏆Call for Nominations: Constraints Journal Awards 2025 🏆
Recognising Excellence in Constraint Programming Research
Nomination deadline: 31 May 2025, AoE.
More info in thread 👇
#BestPaperAward
#ConstraintProgramming
#AI
0
0
1
0
Many thanks to Springer's SharedIt program!
From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents):
www.a4cp.org/cj2
#ConstraintProgramming #ArtificialIntelligence
0
0
1
0
Here's something to brighten up your Monday: a paper about solving mathemusical problems with ILP and SAT, from our latest issue:
Computing aperiodic tiling rhythmic canons via SAT models
link.springer.com/article/10.1...
#Music #Mathematics #ConstraintProgramming
0
0
0
0
The new issue of the Constraints Journal is out now! Head over to link.springer.com/journal/1060... to check it out!
#ConstraintProgramming #AI
1
0
0
0