small-max-three-sat-frontier-cs-algorithmic-178
Small Max 3-SAT
Optimize a Boolean assignment for a compact three-literal CNF instance.
Validation enabledOfficial enabled
Targets1
Target Nameslinux-arm64-cpu
Protocolzip_project
Resource Profilesagentics-cpu-small
Leaderboard
0 entries · linux-arm64-cpu
Validation enabledOfficial enabled
No official ranking results yet