#ConstraintSolving - Twitter Hashtag

Java Code Geeks @javacodegeeks

11 months ago

🧮 Solving Sudoku? Choco. Vehicle routing? Choco. Course scheduling? You guessed it: Choco. #ConstraintSolving

0

2

0

1

1K

CP2025 @cp_conf

about 3 years ago

3/ Second tutorial: Machine Learning for Solvers Speaker: Vijay Ganesh #ConstraintProgramming #MachineLearning #ConstraintSolving #Tutorial #CP2023conf

cp_conf's tweet photo. 3/ Second tutorial: Machine Learning for Solvers

Speaker: Vijay Ganesh

#ConstraintProgramming #MachineLearning #ConstraintSolving #Tutorial #CP2023conf https://t.co/XYBV5TXjP3

0

5

3

0

224

CP2025 @cp_conf

about 3 years ago

2/ First tutorial: Explainable Constraint Solving - A Hands-On Tutorial Speakers: Ignace Bleukx, @dimos_ts and @TiasGuns #ExplainableArtificialIntelligence #XAI #ConstraintSolving #Tutorial #CP2023conf

cp_conf's tweet photo. 2/ First tutorial: Explainable Constraint Solving - A Hands-On Tutorial

Speakers: Ignace Bleukx, @dimos_ts and @TiasGuns

#ExplainableArtificialIntelligence #XAI #ConstraintSolving #Tutorial #CP2023conf https://t.co/phJfAWXj0L

1

6

4

0

940

Tias Guns @TiasGuns

almost 4 years ago

What if your problem is not a single #ConstraintSolving model? What if it requires multiple solvers? This is common in logic-based #XAI! This afternoon, 15:30 in room Schurbert 5, with many examples on explanations. Slides and notebooks now available: https://t.co/rkGFqKKQZY

IJCAIconf @IJCAIconf

almost 4 years ago

#IJCAI2022Tutorials Using constraint solvers as an oracle, with CPMpy 🗓 23 July 🗣️Presenters: @TiasGuns & Ignace Bleukx @ignacebleukx @KU_Leuven, Emilio Gamba @VUBrussel ➡https://t.co/QWAOlzMFqL #IJCAI2022 #Vienna

IJCAIconf's tweet photo. #IJCAI2022Tutorials Using constraint solvers as an oracle, with CPMpy
🗓 23 July
🗣️Presenters: @TiasGuns & Ignace Bleukx @ignacebleukx @KU_Leuven, Emilio Gamba @VUBrussel
➡https://t.co/QWAOlzMFqL

#IJCAI2022 #Vienna https://t.co/lg2vfQC5yC

0

2

1

0

1

7

5

1

0

Robert Wille @rbrtwll

over 4 years ago

#SatSolvers have proven so powerful in classical design. At today's Workshop on #ConstraintSolving and Quantum Computing, we discussed whether we can repeat the success for #QuantumComputing. Many thanks to @KECBooth et al. for organizing and inviting me!👉https://t.co/MLi808u0cW

rbrtwll's tweet photo. #SatSolvers have proven so powerful in classical design. At today's Workshop on #ConstraintSolving and Quantum Computing, we discussed whether we can repeat the success for #QuantumComputing. Many thanks to @KECBooth et al. for organizing and inviting me!👉https://t.co/MLi808u0cW https://t.co/d0EleENKIR

0

6

3

1

0

Skills Matter @skillsmatter

over 5 years ago

In one hour (12:00 UTC), @RaeHaskell will help kick off Day 2 of #haskellX with a look under the hood of the #GHC as he looks at simplifying #ConstraintSolving

skillsmatter's tweet photo. In one hour (12:00 UTC), @RaeHaskell will help kick off Day 2 of #haskellX with a look under the hood of the #GHC as he looks at simplifying #ConstraintSolving https://t.co/a0rubV0zj7

0

3

2

0

Journal of Systems and Software @JSSoftware

almost 7 years ago

#ConstraintSolving is used in many areas, for instance in #SymbolicExecution of software source-code. Today's #paperoftheday by @saeed_a_chimeh and HassanHaghighi presents a new approach to solving non-linear real constraints for symbolic execution. https://t.co/M3fSdZVLqn

0

3

0

Rachid Snoussi

@SnoussiRachid

over 8 years ago

#ConstraintSolving #Optaplanner https://t.co/mtQujhwqsF

0

1

0

Top Tweets for #ConstraintSolving

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users