Search
927 results for “Dekker1”
-
1/ We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming:
https://hsimonis.github.io/WTCP2023/ 🧑🏫🥳
There will be an invited talk by Carleton Coffrin, @Dekker1, Jimmy H.M. Lee, Jason Nguyen, Peter J. Stuckey, Guido Tack and Allen Zhong on Automating Solution Checking and Grading with MiniZinc.
#CP2023conf #ConstraintProgramming #Teaching #AcademicMastodon #MiniZinc #ArtificialIntelligence #AcademicMastodon #Conference #Workshop
-
Because of our Eureka Prize nomination, the MiniZinc team was interviewed by the ARDC. Learn about some MiniZinc projects, and our perspective on MiniZinc and its development: https://ardc.edu.au/article/shaping-research-software-an-interview-with-the-minizinc-team/
#MiniZinc #Development #SoftwareEngineering #ConstraintModelling #ORMS #Optimization
-
📣 MiniZinc 2.8.6 is here! 🎉
This release includes various bug fixes and improvements. See the full changelog here: https://docs.minizinc.dev/en/2.8.6/changelog.html#version-2-8-6
Upgrade now and start modelling! 🚀
-
The full MiniZinc challenge results are now available on the website: https://www.minizinc.org/challenge/2024/results/
Thank you to all the dedicated solver creators that competed in the competition!
-
The MiniZinc Challenge results will be announced soon! 🥳
#MiniZinc https://mastodon.acm.org/@cp_conf/113083601921201917
-
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I just got home from seeing the Wicked musical in Melbourne.
It’s an amazing experience, great music, actors, and the staging is incredible.
I’m glad I got a chance to catch it before its season finishes next week. -
I’m excited to share that the core MiniZinc team is one of the finalists for the 2024 Eureka Prize for Excellence in Research Software. It’s an honour to be shortlisted for such a prestigious award.
-
🚨 :rust: “XCSP3-serde” - new rust crate!
In my (never ending) quest to understand different constraint modelling tool chains, I've implemented a crate that (de-)serialized XCSP3. For now it implements most of the “core” features, but I will extend it over time. Let me know if there is any feature you're missing.
-
Has anyone noticed yet that the MiniZinc documentation has moved to @readthedocs ?
It is now easier than ever to navigate between different versions of the documentation. https://docs.minizinc.dev/
-
I really like the small optimizations I merged into MiniZinc. When you use the `in` or inequality operators on records or tuples, then the compiler will automatically try and create `table` or `lex_less(eq)` constraints. 🙌
-
Another MiniZinc patch release is now available. The MiniZinc package now includes the latest OR-Tools solver, and the compiler now includes fixes for many small issues to get ready for the next MiniZinc challenge. Have a look at the change log for more details.
-
We just started a LinkedIn group for MiniZinc practitioners and enthusiasts: https://www.linkedin.com/groups/14443233/
(I understand that this might not be everyone's cup of tea, and I will try and keep people up-to-date here as well)
-
Academics from the Monash Optimisation group are co-organising a #MAPF competition sponsored by Amazon Robotics. It has decent prizes and you can apply for "training awards" to help with the computational cost of participating: https://www.leagueofrobotrunners.org/
-
@AhmetAkkoc we actually run a lot of industry PhD project through #OPTIMA. Although every project is unique, all student that I personally know are very positive. If you need any specific advice or want me to put you in contact with some of the students to get their perspective, let me know.
-
#OPTIMA, the ARC training centre I work for, is looking for a new Australian PhD student for an exciting project.
#PhDPosition #PhD -
Hi Mastodon!
I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).
As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.
When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.
#introduction #introductions -
I'm looking forward to next week's #OPTIMA seminar. Maria is such a great speaker and so passionate about making #optimization applications that find use in industry.
It's open for anyone who's interested: https://optima.org.au/events/optima-seminar-4-october-2023/ -
Today I’m attending the #OPTIMA graduate researchers conference. It started this morning (very early) with a key note by Jen Martin that got me excited again about science communication. Now we’re continuing with some excellent about the amazing work that the OPTIMA PhD students are doing.
-
We have an opening at #OPTIMA(at the Monash University node) for a fully funded PhD candidate for a project together with ENGIE. If you are interested in a PhD project that applies #optimization in the energy space, then have a look: https://optima.org.au/jobs/phd-opportunity-in-industrial-optimisation/
-
#OPTIMA :optima: just published a new webpage for non-members to access updates about OPTIMA and information about optimisation. You can find it here: https://optima.org.au/pathways-to-optimisation/
-
Hi Mastodon!
I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).
As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.
When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.
-
I just learned that tomorrow will be "World Logic Day" tomorrow, and there is a list of events all around the world: https://wld.cipsh.international/wld2023.html
Might be worth a browse if you're interested!
#Logic #WorldLogicDay -
#MiniZinc 2.8 has been released. No big new language features, but it does include a lot of improvements to make your life easier:
- #ORTools is now part of the MiniZinc bundle.
- #HiGHS now provides intermediate solutions.
- Experimental support for propagator based meta-search, such as LNS variants.
- Commutative CSE
- Support optional version of global_cardinality, increasing, and count globals.Find more details and many other improvements in the change log: https://www.minizinc.org/doc-2.8.0/en/changelog.html#v2.8.0