Mercurial > repo
log wisdom/sat solving technique @ 12298:cea93c2c666a draft
age | author | description |
---|---|---|
Thu, 27 Apr 2017 17:50:25 +0000 | HackBot | <oerjan> slwd sat solving technique//s, is, are, |
Thu, 27 Apr 2017 17:48:22 +0000 | HackBot | <oerjan> le/rn SAT solving technique//There are many SAT solving techniques, but none is completely satisfactory. |
Thu, 27 Apr 2017 17:43:22 +0000 | HackBot | <oerjan> ` mv wisdom/\'sat solving technique\'{s,} base wisdom/sat solving techniques@5ce3b54e9090 |