GitHub topics: las-vegas-algorithm
shnarazk/LubySequence
A Lean4-formalization on Luby Sequence that is used as a heuristics on restarts in some SAT solvers.
Language: Lean - Size: 95.7 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
EnesBaserr/Knight-s-Tour-Las-Vegas-Algorithm
Knight's Tour Las Vegas Algorithm with different approaches.
Language: Python - Size: 33.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
oguzhankirlar/Queens-Las-Vegas
Las Vegas algorithm for the n-queens problem
Language: Python - Size: 98.6 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
