|
|
|
|
|
|
by ecnahc515
1422 days ago
|
|
|
There's a few novel techniques such as minimal version selection: https://research.swtch.com/vgo-mvs. I know I've seen a few others in the past years but I'm struggling to remember which ones are non-SAT solving approaches. |
|
|