Top New Best Ask Show Jobs

dennis714

775 karma · joined June 2, 2011

submissions comments

Cracking simple XOR cipher with simulated annealing

yurichev.com·2 pts·dennis714·

Making smallest possible test suite

yurichev.com·1 pts·dennis714·

(Windows 7) Solitaire practical joke

yurichev.com·3 pts·dennis714·

Optimizing production of a cardboard toy using SAT-solver

yurichev.com·38 pts·dennis714·

Forgotten Password, Part II

yurichev.com·1 pts·dennis714·

Combinatorics: Soldering wires; vehicle license plate; forgotten password

yurichev.com·2 pts·dennis714·

Autocomplete Using Markov Chains

yurichev.com·166 pts·dennis714·

SAT/SMT by Example [pdf]

yurichev.com·145 pts·dennis714·

Integer overflow and SMT-solvers

yurichev.com·53 pts·dennis714·

Assembly Language for Beginners [pdf]

yurichev.com·672 pts·dennis714·

SAT/SMT by example [pdf]

yurichev.com·2 pts·dennis714·

ToySMT – simple SMT solver under 1500 SLOC of pure C

github.com·91 pts·dennis714·

Getting CRC polynomial and other CRC generator parameters using Z3

yurichev.com·2 pts·dennis714·

Yet another explanation of CRC (Cyclic redundancy check)

yurichev.com·3 pts·dennis714·

Rubik’s cube (333) and Z3 SMT-solver, part II

yurichev.com·2 pts·dennis714·

Solving pocket Rubik’s cube (222) using Z3 and SAT solver

yurichev.com·75 pts·dennis714·

Dependency hell and Z3 SMT-solver

github.com·4 pts·dennis714·

Discrete tomography and Z3 SMT-solver

github.com·2 pts·dennis714·

Simplest SAT solver in ~120 lines

yurichev.com·3 pts·dennis714·

Quick introduction into SAT/SMT solvers and symbolic execution [pdf]

yurichev.com·5 pts·dennis714·

← PreviousPage 2 of 2