P
proof logging
Projects with this topic
-
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
Updated
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.