Autoresearch for SAT Solvers

https://github.com/iliazintchenko/agent-sat

#HackerNews #Autoresearch #SAT #Solvers #AI #Research #GitHub #Optimization

https://www.youtube.com/watch?v=d76e4hV1iJY&pp=ugUEEgJlbg%3D%3D

#sat #solvers #complexity #clojure

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Faster models, smarter transitions with an open-source benchmark of #optimization #solvers from the energy planning domain⚡️
Test user James Glynn (ESMA) tried the Open Energy Benchmark. It is mixing open & proprietary solvers with smart filters. Speeds research, drives innovation, boosts competition.

Thank you for your insights, James.

🔗 Try it here: https://openenergybenchmark.org/
🔗 Read the whole article here: https://www.linkedin.com/feed/update/urn:li:activity:7350816973015900161

#EnergyModeling #OpenSource #EnergyTransition #Decarbonization

'Parallel-in-Time Probabilistic Numerical ODE Solvers', by Nathanael Bosch, Adrien Corenflos, Fatemeh Yaghoobi, Filip Tronarp, Philipp Hennig, Simo Särkkä.

http://jmlr.org/papers/v25/23-1261.html

#kalman #solvers #bayesian

'Stable Implementation of Probabilistic ODE Solvers', by Nicholas Krämer, Philipp Hennig.

http://jmlr.org/papers/v25/20-1423.html

#numerical #solvers #odes

We've been working on a massive riddle tying together #self-organization, #carbonate #diagenesis, reactive transport, #paleoclimate and #Milankovich cycles, and very stiff PDE systems.

If you've missed the poster at #egu24, you can still find it attached to the abstract in the conference program (https://meetingorganizer.copernicus.org/EGU24/EGU24-16400.html) and on Zenodo https://zenodo.org/records/10943274 If you're into numerical methods, tricky PDEs or other aspects of #modeling, please see if you have any advice to us 😄 #solvers #PDE

'Multilevel CNNs for Parametric PDEs', by Cosmas Heiß, Ingo Gühring, Martin Eigel.

http://jmlr.org/papers/v24/23-0421.html

#pdes #solvers #deep

'Scalable Computation of Causal Bounds', by Madhumitha Shridharan, Garud Iyengar.

http://jmlr.org/papers/v24/22-1081.html

#causal #confounders #solvers