sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance
See also https://yabaitech.tokyo/techbookfest10/2020/12/20/techbookfest10.html.
C++那些事
My usual code template
Algorithms & Data structures in C++.
MOVING TO: https://cirosantilli.com/linux-kernel-module-cheat/#algorithms see README. Algorithm t...
Corrections files of 42 School
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 ...
List of tasks on programming with solutions