Explore zero-one integer programming, a key method in logical problem-solving, using binary choices for optimal decisions in finance, production, and more.
This repository contains the benchmarks of IWLS 2022 Programming Contest and the circuits produced by the participants in response to the challenge. The contest was organized by Alan Mishchenko and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results