Posts with #ConstraintProgramming

#ConstraintProgramming

Public posts on X that use #ConstraintProgramming.

Related hashtags

CP2025@cp_conf2y
We call for participation at CP 2024, to be held on September 02-06 in Girona! #ConstraintProgramming #Conference #CP2024conf This will be the 30th edition of the International Conference on Principles and Practice of Constraint Programming 🎂 🧵👇
Download
Share
Copied
166990
CP2025@cp_conf3y
1/4 We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming: 🧑‍🏫🥳 #CP2023conf #ConstraintProgramming #Teaching #AcademicTwitter
Share
Copied
CP2025 @cp_conf
7/ And last, but not least: Teaching Constraint Programming! #Teaching #CP2023conf #CP2023 #AcademicTwitter #ConstraintProgramming
1352.2K
CP2025@cp_conf3y
@cp_conf
7/ And last, but not least: Teaching Constraint Programming! #Teaching #CP2023conf #CP2023 #AcademicTwitter #ConstraintProgramming
Share
Copied
134869
CP2025@cp_conf3y
@cp_conf
2/4 There will be an invited talk by @cjcoffr, @DekkerOne, Jimmy H.M. Lee, Jason Nguyen, Peter J. Stuckey, @g_tack and @Allen_GoWorld on Automating Solution Checking and Grading with @minizinc. #CP2023conf #ConstraintProgramming #MiniZinc #Teaching
Share
Copied
133233
OPTIMA@OPTIMA_ARC2y
Congratulations to one of @OPTIMA_ARC's own, Maria Garcia de la Banda, on being awarded the Distinguished Service Award at @CP_conf #CP2024: 30th International Conference On Principles And Practice Of Constraint Programming. Congratulations Maria! #constraintprogramming
Download
Share
Copied
014180
CP2025@cp_conf2y
We are pleased to host four workshops at CP 2024: ModRef 2024, PTGH-24, Soft 2024 and ConfWS 2024. Get more information at: Some of them are already accepting submissions! #ConstraintProgramming #Conference #CP2024conf
Share
Copied
022193
cp2023conf@cp2023conf3y
The CP2023 best paper award was given to Matthew McIlree and Ciaran McCreesh, for their paper "Proof Logging for Smart Extensional Constraints"! Congrats! #CP2023conf #ConstraintProgramming
Download
Share
Copied
018820
Francois Pachet@francoispachet1mo
Happy that my paper, “Exact Regular-Constrained Sampling for Variable-Order Markov Generation,” was accepted to NeurIPS 2026. Controlable continuators in a few lines of code: #NeurIPS2026 #MachineLearning #ConstraintProgramming #MarkovModels #GenerativeAI
Share
Copied
012125
Hakan Kjellerstrand@hakankj3y
YouTube playlist for ACP Summer School 2023 on Machine Learning for Constraint Programming: #copr #constraintprogramming #acp
Share
Copied
016304
The Optimization Firm@TheOptFirm6mo
We’re glad to be a sponsor of CPAIOR 2026 in Morocco this week. Best wishes for a successful conference! Program details: #ConstraintProgramming #ArtificialIntelligence #OperationsResearch
Download
Share
Copied
00384
CP2025@cp_conf3y
BREAKING: the abstract and paper submission deadlines for CP's Doctoral Program have just been extended. Abstracts are now due by 7 July. Go for it! #ConstraintProgramming #CP2023conf #CfP #deadline #PhDLife #AcademicTwitter
Download
Share
Copied
156775
cp2023conf@cp2023conf4y
They say that 80% of success is showing up. To all of you who submitted an abstract: that looks like showing up to us! Now go follow up on the remaining 20% and submit your paper! #CP2023 #ConstraintProgramming #deadline #AcademicTwitter #ArtificialIntelligence #GoTeam
Download
Share
Copied
046290
cp2023conf@cp2023conf3y
After a morning full of paper talks and the invited talk, the afternoon continues, with more paper talks but also the tutorial on "Explainable Constraint Solving - A Hands-On Tutorial" by @TiasGuns, @ignacebleukx and @dimos_ts! #CP2023conf #ConstraintProgramming
Download
Share
Copied
116303
CP2025@cp_conf3y
To those who missed the Workshop on Teaching Constraint Programming: despair not! Helmut Simonis was nice enough to write up a summary, with links to some of the material, check it out! #CP2023conf #ConstraintProgramming #Teaching #AI
Share
Copied
CP2025 @cp_conf
1/4 We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming: 🧑‍🏫🥳 #CP2023conf #ConstraintProgramming #Teaching #AcademicTwitter
0141.8K
Dolores Romero Morales @doloresromerom.bsky.social@DoloresRomeroM4y
DORSTutorial from Kevin Tierney, from Bielefeld University, on #ConstraintProgramming just started ! #orms ⁦@CBScph⁩
Download
Share
Copied
106
CP2025@cp_conf3y
Hi all! We just revived this account, and it has had a bit of a makeover! From now on, we will update you both from this account, and from @cp2023conf , so you won't miss any CP conference-related news 🥳 #CP2023 #CP2023conf #ConstraintProgramming #AI #AcademicTwitter
Download
Share
Copied
038799
anna@aldlatour3y
I will present this work in 40 minutes at the workshop on Constraint Modelling and Reformulation, which is being held in Toronto @UofTCompSci , in conjunction with @cp_conf. #CP2023conf #ConstraintProgramming #CombinatorialOptimisation #PostdocLife
Share
Copied
Kuldeep S. Meel @ksmeel
This week, Anna Latour (@aldlatour) presented our work on showing the power of encoding a problem X to another problem that's computationally harder than Y. Yes, you read it right. We focused on the classical problem of Identifying code set from sensor placement literature..1/3
118547
Kuldeep S. Meel✓@ksmeel3y
This week, Anna Latour (@aldlatour) presented our work on showing the power of encoding a problem X to another problem that's computationally harder than Y. Yes, you read it right. We focused on the classical problem of Identifying code set from sensor placement literature..1/3
Download
Share
Copied
11114.3K
CP2025@cp_conf3y
1/ BREAKING We can now reveal which workshops have been accepted to this year's conference: #CP2023 #CP2023conf #ConstraintProgramming #AI #ArtificialIntelligence #Breaking #AcademicTwitter
Download
Share
Copied
144444
CP2025@cp_conf3y
@cp_conf
2/ First up: ModRef 2023, The 22nd workshop on Constraint Modelling and Reformulation, organised by Peter Nightingale and @lyeskhalil. Paper submission deadline on July 7th, 2023. #CP2023 #ConstraintModelling #ConstraintProgramming #CallForPapers
Share
Copied
1341K
Luc De Raedt@lucderaedt4y
Proud of of our new JAIR paper, and of Pietro. It is about reasoning about and solving combinatorial word problems with lifted inference techniques. #constraintprogramming #UncertaintyInAI #AI @jessejdavis1 @DTAI_KULeuven
Share
Copied
J. AI Research-JAIR @JAIR_Editor
New Article: "Lifted Reasoning for Combinatorial Counting" by Totis, Davis, de Raedt, and Kimmig
24273.3K
J. AI Research-JAIR@JAIR_Editor4y
New Article: "Lifted Reasoning for Combinatorial Counting" by Totis, Davis, de Raedt, and Kimmig
Share
Copied
0094.6K
cp2023conf@cp2023conf3y
1/2 We now also have a program for the Workshop on Constraint Modelling and Reformulation! #CP2023conf #ConstraintProgramming #AcademicTwitter
Share
Copied
CP2025 @cp_conf
2/ First up: ModRef 2023, The 22nd workshop on Constraint Modelling and Reformulation, organised by Peter Nightingale and @lyeskhalil. Paper submission deadline on July 7th, 2023. #CP2023 #ConstraintModelling #ConstraintProgramming #CallForPapers
155419
Verhaeghe Hélène@helenelnx3y
The #ACP summer school 2023 is starting in Leuven! #ConstraintProgramming
Download
Share
Copied
29252.9K
Jendrik Seipp@JendrikSeipp3y
I’m looking for a #PhD student to work at the intersection of #aiplanning and #constraintprogramming. Know anyone who's interested? Project: Place: #Linköping (#Sweden) Funding: @WASP_Research Applications: Deadline: August 16
Share
Copied
002170
Show more posts