Tag

#CP-SAT

Všetky publikované články, v ktorých sa téma CP-SAT objavuje ako dôležitý kontext. Aktuálne 2 textov v archíve.

Výskum13. augusta 20264 min čítania5 zdrojov

AI agent zúžil hľadanie Conwayovho 99-grafu, otvorený problém však nevyriešil

Autonómny výskumný agent vytvoril overiteľné hranice, štrukturálnu redukciu a nový rámec na prehľadávanie Conwayovho 99-grafu. Podrobnosti práce zároveň ukazujú výrazný ľudský dohľad, limity všeobecných riešičov a rozdiel medzi čiastkovým skóre a matematickým dôkazom.

Výskum8. augusta 20265 min čítania4 zdroje

AWS navrhlo systém na výpočet postupových scenárov NHL pomocou constraint programmingu

Prototyp tímu AWS kombinuje CP-SAT s prehľadávaním stromu a hľadá výsledky, ktoré by ešte mohli pripraviť klub NHL o play-off. AWS uvádza presnú zhodu s oficiálnymi scenármi zo štyroch minulých sezón, nejde však o potvrdené produkčné nasadenie ligou ani o nezávislú validáciu.