Toot

Written by Paul Khuong on 2024-11-03 at 13:47

For the PL <-> OR angle: this could mean that we can find optimal solutions without fully enumerating e-graphs, and instead iteratively feed inequalities to the IP optimiser.

=> More informations about this toot | View the thread | More toots from pkhuong@discuss.systems

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113419332207669441
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
239.607796 milliseconds
Gemini-to-HTML Time
0.317374 milliseconds

This content has been proxied by September (3851b).