#constraintprogramming zoekresultaten
Would you hire a developer who uses a constraint solver to solve a hard leetcode problem ? I would. And Hillel Wayne has a few very good examples. (link: 👇)
We’re using AI to generate zkVM constraints — turning formal specs into fast, auditable code. Real, real fast. Here's how this unlocks the future of compute: blog.nexus.xyz/automating-con…
I've been working on this new system for graphic design, where drawings are specified in terms of constraints and solved using an SMT solver. Some interesting and amusing results have come out of these experiments: anishathalye.com/2019/12/12/con…
Humans use values elimination and trial & error for solving such problems: exploring if some values lead to a viable combination and eventually backtracking. Instead, we rely on #ConstraintProgramming, a technique from #ORMS which enhances and systematizes this process (3/8)
alright yep, this is how you work *with* a constraint rather than against it 😍
Day 71 of #100daysOfCode LeetCode 2525 - Categorize Box According to Criteria This problem is the best way to truly understand conditional statements — not just by theory, but by writing clean decision logic like this #LeetCode #DSA #CPP
> Codex, do X. *writes wrong code* > This is wrong because <reason>. Instead, do <solution>. *writes wrong code* > ?? Can you EXPLAIN why your code is wrong? *writes perfect explanation* > If you get it, why didn't you apply that to your code? *writes perfect code* ...
빈센트님 과외를 통해 배운 ✨Constraint✨로 손목이나 팔목 부분에서 일어나는 캔디랩 현상을 어느정도 해결한 상황(vsf나 Vrchat 등에 적용 가능) By using Constraint, we can solve the candy wrap problem. And it also applies to vsf, Vrchat, etc. 🌟Thanks to @WiseowlVincent🌟
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
Slides from my talk on ConstraintLayout today @ #DCNYC16: speakerdeck.com/devunwired/con… Examples: github.com/devunwired/lay…
Extending #PCMCA problem with #constraintprogramming constructs: “Modelling and Solving the Precedence-Constrained Minimum-Cost Arborescence Problem with Waiting-Times” by M. Dell'Amico, J. Jamal, R. Montemanni. ACSIS Vol. 35 p. 401–410; tinyurl.com/mr2fatj7
So rather than give vague instructions, I learned to give 3 clear constraints in every prompt: • A specific objective (with input) • A specific format for the output • A specific list of things to avoid But most importantly, I realized 1 thing about prompt writing:
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
Imperative Vs Functional Vs Object-oriented Programming In software development, different programming paradigms offer unique ways to structure code. Three main paradigms are Imperative, Functional, and Object-oriented programming, each with distinct approaches to…
A (very) short intro to Constraints, which are fundamental to a variety of algorithms ranging from filtering and inverse kinematics to physical simulation zalo.github.io/blog/constrain…
After a great meal, we started the next session. This afternoon we have, in addition to many paper presentations, the tutorial about machine Learning for solvers by Vijay Ganesh! #CP2023conf #ConstraintProgramming
The first award given during this conference is the ACP Research Excellence Award, awarded to Mats Carlsson! Congrats! #ACP #CP2023conf #ConstraintProgramming
And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh! #ACP #CP2023conf #ConstraintProgramming
And today we are back for the second invited talk of the conference by @thomasschiex, about "Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 variants exploration" #CP2023conf #ConstraintProgramming
This article formalizes DAG-based FJS with position-based learning via a MILP using position variables plus a CP Optimizer model. - hackernoon.com/algorithms-tha… #constraintprogramming #flexiblejobshop
hackernoon.com
Algorithms That Learn as They Schedule: A Twin-Model Approach to Modern FJS | HackerNoon
This article formalizes DAG-based FJS with position-based learning via a MILP using position variables plus a CP Optimizer model.
📊 Want to model puzzles, timetables, or resource assignments? Choco lets you declare the constraints and sit back. #ConstraintProgramming
We are now on Bluesky, come join us there for the latest news: bsky.app/profile/constr… #ConstraintProgramming #AI
We are delighted that Prasanna Kumar Kumaresan & Rahul Ponnusamy along with teammate Dhiraj Singh won 2nd prize for presenting the best solution using MiniZinc & Python at recently organized #ConstraintProgramming by @crt_ai @UCC
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
Blog post: We take a look at #ConstraintProgramming in action based on our experience optimizing index selection in #Postgres. We deep dive into what makes Postgres Index Selection difficult and how utilizing a CP model can help: pganalyze.com/blog/index-sel…
pganalyze.com
Constraint Programming in Action: Optimizing Postgres Index Selection
In this follow-up article we describe how to use Constraint Programming in action for optimizing Postgres index selection. We walk through a full end-to-end example with Python and CP-SAT and discuss...
The full program of CP 2024! easychair.org/smart-program/… #ConstraintProgramming #Conference #CP2024conf
We call for participation at CP 2024, to be held on September 02-06 in Girona! cp2024.a4cp.org/cfpart.html #ConstraintProgramming #Conference #CP2024conf This will be the 30th edition of the International Conference on Principles and Practice of Constraint Programming 🎂 🧵👇
We have published the list of the 38 accepted papers! cp2024.a4cp.org/accepted_paper… #ConstraintProgramming #Conference #CP2024conf
We are pleased to announce the Diversity, Equitiy and Inclusion programme to support the participation of underrepresented early-career researchers. Applications to the scholarship are now open! cp2024.a4cp.org/cfdei.html #ConstraintProgramming #Conference #CP2024conf
Registration is open! cp2024.a4cp.org/registration.h… Check the different options for attending the workshops and the main conference. Early registration ends: July 14th Late registration ends: August 22nd #ConstraintProgramming #Conference #CP2024conf
We are pleased to host four workshops at CP 2024: ModRef 2024, PTGH-24, Soft 2024 and ConfWS 2024. Get more information at: cp2024.a4cp.org/workshops.html Some of them are already accepting submissions! #ConstraintProgramming #Conference #CP2024conf
We are reaching the deadline of the Call for Workshop Proposals, it's this Friday AoE. Don't miss the chance! cp2024.a4cp.org/cfw.html #ConstraintProgramming #Conference #CP2024conf
Extending #PCMCA problem with #constraintprogramming constructs: “Modelling and Solving the Precedence-Constrained Minimum-Cost Arborescence Problem with Waiting-Times” by M. Dell'Amico, J. Jamal, R. Montemanni. ACSIS Vol. 35 p. 401–410; tinyurl.com/mr2fatj7
Extending #PCMCA problem with #constraintprogramming constructs: “Modelling and Solving the Precedence-Constrained Minimum-Cost Arborescence Problem with Waiting-Times” by M. Dell'Amico, J. Jamal, R. Montemanni. ACSIS Vol. 35 p. 401–410; tinyurl.com/mr2fatj7
ACP Summer School on #MachineLearning for #ConstraintProgramming in @KU_Leuven from 10 to 14 July. Introductory sessions, automated tuning, prediction-based solving, reinforcement learning for branching and solution approximation and much more. Info bit.ly/3OSlsXS
Just before starting the poster session and walking dinner, we took the opportunity to take group pictures! Look at all the attendees of the #ACP summer school 2023! #constraintprogramming
Humans use values elimination and trial & error for solving such problems: exploring if some values lead to a viable combination and eventually backtracking. Instead, we rely on #ConstraintProgramming, a technique from #ORMS which enhances and systematizes this process (3/8)
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
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
And today we are back for the second invited talk of the conference by @thomasschiex, about "Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 variants exploration" #CP2023conf #ConstraintProgramming
After a Sunday full of interesting workshops, the main part of the conference is starting! We started the day with a warm welcome from our conference and program chairs, @andre_a_cire and Roland Yap! #CP2023conf #ConstraintProgramming
3/ Second tutorial: Machine Learning for Solvers Speaker: Vijay Ganesh #ConstraintProgramming #MachineLearning #ConstraintSolving #Tutorial #CP2023conf
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
The first award given during this conference is the ACP Research Excellence Award, awarded to Mats Carlsson! Congrats! #ACP #CP2023conf #ConstraintProgramming
And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh! #ACP #CP2023conf #ConstraintProgramming
Time for the last of the ACP awards! The ACP Doctoral Research Award was awarded to Stephan Gocht, for his thesis "Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning". Congrats to him! #ACP #CP2023conf #ConstraintProgramming
This morning, we had the pleasure of listening to Jimmy Lee, in his invited talk about "A Tale of Two Cities: Teaching CP with Story-Telling". He explained to us the success story behind the creation of his MOOC on Coursera! #CP2023conf #ConstraintProgramming #MOOC
After a great meal, we started the next session. This afternoon we have, in addition to many paper presentations, the tutorial about machine Learning for solvers by Vijay Ganesh! #CP2023conf #ConstraintProgramming
RT Constraint Programming Explained dlvr.it/Sgn63j #mixedintegerprogramming #operationsresearch #constraintprogramming
We loved seeing all of you at CP 2023 this year! If you want to reminisce about more relaxed time, you can find this year's pictures on our website: cp2023.a4cp.org #CP2023conf #ConstraintProgramming #AcademicTwitter
10/10 And last, but not least: our sponsor The Optimization Firm, makers of the BARON solver (@TheOptFirm) minlp.com/home Thank you for your support in making CP 2023 happen! #CP2023conf #ConstraintProgramming #Optimization
1/2 We hope you are ready for CP's DEI Special Event on Wednesday 30 August! cp2023.a4cp.org/dei.html @MariaAndreinaFr will present the results from the Diversity survey and the Equity and Inclusion survey. #ConstraintProgramming #CP2023conf #DiversityInTech #DiversityInSTEM
Something went wrong.
Something went wrong.
United States Trends
- 1. Chet 10.1K posts
- 2. #NBAonNBC 1,570 posts
- 3. Rockets 34.7K posts
- 4. #ThunderUp 3,211 posts
- 5. Reed Sheppard 1,144 posts
- 6. Amen Thompson 3,223 posts
- 7. Marchand 7,029 posts
- 8. Steven Adams 1,598 posts
- 9. Lu Dort N/A
- 10. Russ 30.6K posts
- 11. The NBA 116K posts
- 12. Shai 14.3K posts
- 13. Lakers 44.7K posts
- 14. Kevin Durant 12.6K posts
- 15. Reggie Miller N/A
- 16. Mike Tirico 1,380 posts
- 17. Roundball Rock 7,507 posts
- 18. Marchy N/A
- 19. Sengun 3,226 posts
- 20. Jen Psaki 3,693 posts