Mercurial > repo

view wisdom/sat solving technique @ 10840:d2d86dd36401

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> ` mv wisdom/\'sat solving technique\'{s,}
author HackBot
date Thu, 27 Apr 2017 17:43:22 +0000
parents wisdom/sat solving techniques@b97f05e31c5f
children c62a74918324
line wrap: on
line source

There are many SAT solving techniques, but none is completely satisfying.