はむこの勉強記録

http://bit.ly/2ktf20t の写し

CODE FESTIVAL 2017 qual A - D - Four Coloring (SAT解 O(1.33^(HW)))

docs.google.com