Korf's Algorithm
Look at other dictionaries:
God's algorithm — is a notion originating in discussions of ways to solve the Rubik s Cube puzzle, but which can also be applied to other combinatorial puzzles and mathematical games. It stands for any practical algorithm that produces a solution having the least… … Wikipedia
Optimal solutions for Rubik's Cube — Computer Graphics of a scrambled Rubik s cube There are many algorithms to solve scrambled Rubik s Cubes. The maximum number of face turns needed to solve any instance of the Rubik s cube is 20.[1] This number is also known as the diameter of the … Wikipedia
CARINE — is a first order classical logic automated theorem prover. CARINE is a resolution based theorem prover initially built for the study of the enhancement effects of the strategies delayed clause construction (DCC) and attribute sequences (ATS) in a … Wikipedia
Blindfold Cubing — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
Rubik's Cube — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
Rubik-Würfel — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
Rubiks Cube — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
Rubiks Würfel — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
Rubiks Zauberwürfel — Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des Jahres“ ausgezeichnet… … Deutsch Wikipedia
Rubikwürfel — Rubiks Zauberwürfel Der Zauberwürfel (englisch: Rubik’s Cube) ist ein mechanisches Geduldspiel, das vom ungarischen Bauingenieur und Architekten Ernő Rubik erfunden wurde und 1980 mit dem Sonderpreis Bestes Solitärspiel der Jury „Spiel des… … Deutsch Wikipedia
