Victor+Allis

a Dutch computer and games scientist and [|CEO] of [|Quintiq]. He defended his [|M.Sc.] thesis //A Knowledge-Based Approach of Connect Four// in 1988 at [|Vrije Universteit, Amsterdam], solving the game of Connect Four, and his [|Ph.D.] thesis //Searching for Solutions in Games and Artificial Intelligence// at Maastricht University in 1994, elaborating on Proof-number search and dependency-based search. Victor Allis authored and co-authored more than 30 publications on search algorithms, Graph History Interaction (GHI) and games. From 1993 to 1995 he worked as assistant professor at the Vrije Universiteit. He is author and co-author of several programs competing at ICGA tournaments, winning six gold medals at Computer Olympiads. || toc =CEO of Quintiq= From 1995 to 1997 Victor Allis worked for Bolesian, a knowledge technology company in the Netherlands. In 1997 Allis co-founded [|Quintiq], a leading provider of advanced planning, scheduling and supply chain optimization software solutions, and has been the company’s [|CEO] ever since. In October 2008, Victor Allis was selected for the //[|Ernst & Young] Entrepreneur of the Year 2008 award//, the world’s most prestigious business award for entrepreneurs organized for the 14th time in the Netherlands.
 * Home * People * Victor Allis**
 * [[image:VictorAllis.JPG width="150" height="191" link="http://web.archive.org/web/20041204234709/www.cs.vu.nl/%7Evictor/home.html"]] ||~  || **Louis Victor Allis**,
 * Victor Allis  ||~ ||^ ||

=Selected Publications=

1988 ...

 * Victor Allis (**1988**). //A Knowledge-Based Approach of Connect Four: The Game is Over, White to Move Wins//. M.Sc. thesis, Report No. IR-163, Faculty of Mathematics and Computer Science, [|Vrije Universteit, Amsterdam]
 * Jos Uiterwijk, Jaap van den Herik, Victor Allis (**1989**). //A Knowledge-Based Approach to Connect Four: The Game is Over, White to Move Wins//. Heuristic Programming in AI 1

1990 ...

 * Maarten van der Meulen, Victor Allis, Jaap van den Herik (**1990**). //A Comment on `Conspiracy-Number Search'//. ICCA Journal, Vol. 13, No. 2
 * Maarten van der Meulen, Victor Allis, Jaap van den Herik (**1990**). //Lithidion: an Awari-playing Program//. Technical Report 90-05, University of Limburg
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1990**). //Databases in Awari//. Technical Report CS-90-5, University of Limburg
 * 1991**
 * Victor Allis, Jaap van den Herik, Bob Herschberg (**1991**). //Which Games Will Survive//? Heuristic Programming in AI 2
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1991**). //Omniscience in Lithidion//. Heuristic Programming in AI 2
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1991**). //Databases in Awari//.Heuristic Programming in AI 2
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1991**). //Proof-Number Search.// Technical Report CS 91-01, University of Limburg
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1991**). //Conspiracy-Number Search.// Advances in Computer Chess 6
 * 1992**
 * Dennis Breuker, Victor Allis, Jaap van den Herik, Bob Herschberg (**1992**). //A Database as a Second.// ICCA Journal, Vol. 15, No. 1
 * Victor Allis (**1992**). //Ingo Althöfer: On Pathology in Game Tree and Other Recursion Tree Models//. ICCA Journal, Vol. 15, No. 2
 * Jaap van den Herik, Victor Allis (Eds.) (**1992**). //[|Heuristic Programming in Artificial Intelligence 3 - The Third Computer Olympiad]//. Ellis Horwood » 3rd Computer Olympiad
 * Victor Allis, Patrick Schoo (**1992**). //Qubic Solved Again//. Heuristic Programming in AI 3
 * Remko Popma, Victor Allis (**1992**). //Life and Death Refined//. Heuristic Programming in AI 3
 * 1993**
 * Victor Allis, Jaap van den Herik, Matty Huntjens (**1993**). //Go-Moku Solved and Threat-Space Search//. Technical Report CS 93-02, University of Limburg, [|pdf]
 * Victor Allis, Jaap van den Herik, Matty Huntjens (**1993**). //Go-Moku Solved by New Search Techniques//. AAAI Technical Report FS-93-02, [|pdf]
 * 1994**
 * Victor Allis (**1994**). //Searching for Solutions in Games and Artificial Intelligence//. Ph.D. thesis, University of Limburg, [|pdf]
 * Dennis Breuker, Victor Allis, Jaap van den Herik (**1994**). //How to Mate: Applying Proof-Number Search//. Advances in Computer Chess 7, reprint as [|Mate in 38: Applying Proof-Number Search] from Ed Schroder's [|Programmer's Stuff site]
 * Victor Allis, Maarten van der Meulen, Jaap van den Herik (**1994**). //Proof-Number Search//. [|Artificial Intelligence], Vol. 66, No. 1
 * Martin Schijf, Victor Allis, Jos Uiterwijk (**1994**). //Proof-Number Search and Transpositions//. ICCA Journal, Vol. 17, No. 2

1995 ...

 * Henri Bal and Victor Allis (**1995**). //Parallel Retrograde Analysis on a Distributed System//. Supercomputing ’95, San Diego, CA.
 * Dennis Breuker, Jaap van den Herik, Jos Uiterwijk, Victor Allis (**1998**). //[|A Solution to the GHI Problem for Best-First Search]//. CG 1998

2000 ...

 * Dennis Breuker, Jaap van den Herik, Jos Uiterwijk, Victor Allis (**2001**). //A Solution to the GHI Problem for Best-First Search//. Theoretical Computer Science, Vol. 252, Nos. 1-2

=External Links=
 * [|Victor Allis from Wikipedia]
 * [|Victor Allis' ICGA Tournaments]
 * [|Dr Victor Allis - Chief Executive Officer | Quintiq]
 * [|Victor Allis - Nederland | LinkedIn]

=References= =What links here?= include page="Victor Allis" component="backlinks" limit="120"
 * Up one level**