@STRING{uni-UM      = "Universiteit Maastricht"}
@STRING{uni-UM:adr  = "Maastricht, The Netherlands"}

@comment{--------------------------to appear---------------------------------}
 @InProceedings{Pawlewicz2013,
  author =     {J. Pawlewicz and R. Hayward},
  title =     {Scalable Parallel Depth First Proof Number Search},
  booktitle = {Computers and Games (CG 2013)},
  year =     {2014?},
  note =     {To appear.},
}

@comment{-----------------------------2014-----------------------------------}

@InProceedings{Kishimoto:2014,
  author = 	 {A. Kishimoto and R. Marinescu},
  title = 	 {Recursive Best-First {AND/OR} Search for Optimization in Graphical Models},
  booktitle = {Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence},
  year = 	 2014,
  annote = 	 {To appear.}
}




@comment{-----------------------------2013-----------------------------------}

@article{Wu2012,
  author    = {I.-C. Wu and H.-H. Lin and  D.-J. Sun and K.-Y. Kao and P.-H. Lin and Y.-C. Chan and P.-T. Chen},
  title     = {Job-Level Proof-Number Search},
  year      = {2013},
  journal   = "IEEE Transactions on Computational Intelligence and AI in Games",
    volume    = {5},
    number    = {1},
    pages     = {44--56},
    doi = "10.1109/TCIAIG.2012.2224659"
}

@InProceedings{Saffidine:ACG13,
  author =     {A. Saffidine and N. Jouandeau and T. Cazenave},
  title =     {Solving \textsc{Breakthrough} with Race Patterns and Job-Level Proof Number Search},
  pages     = {196--207},
  booktitle = {Advances in Computer Games 13},
  publisher = {Springer},
   address = {Berlin, Germany},
  series    = {Lecture Notes in Computer Science},
  volume    = {7168},
  year      = {2012},
  editor    = {H. J. van den Herik and
               A. Plaat}
}

@comment{-----------------------------2012-----------------------------------}

@article{Kishimoto2012,
    AUTHOR       = "Kishimoto, A. and Winands, M. and  M{\"u}ller, M. 
    and Saito, J.",
    TITLE        = "Game-Tree Search Using Proof Numbers: 
    The First Twenty Years",
    journal   = {ICGA Journal},
    volume    = {35},
    number    = {3},
    pages     = {131--156},
    YEAR         = "2012"
}

@InProceedings{Saffidine:ECAI2012,
  author =     {A. Saffidine and T. Cazenave},
  title =     {Multiple-Outcome Proof Number Search},
  booktitle = {Proceedings of the 20th European Conference on Artificial Intelligence (ECAI)},
  pages =     {708--713},
  year =     {2012},
  editor = {L. {De~Raedt} and C. Bessi{\`e}re and D. Dubois and P. Doherty and P. Frasconi and F. Heintz and P.~J.~F. Lucas },
  publisher = {IOS Press}
}

@InProceedings{Heifets2012,
  author = 	 {A. Heifets and I. Jurisica},
  title = 	 {Construction of New Medicines via Game Proof Search},
  booktitle = {Proceedings of the 26th AAAI Conference on Artificial Intelligence},
  pages = 	 {1564--1570},
  editor =  {J. Hoffmann and B. Selman},
  year = 	 2012}

@comment{-----------------------------2011-----------------------------------}

@inproceedings{Winands10c,
  author    = {M.~H.~M. Winands and M.~P.~D. Schadd},
  title     = {Evaluation-Function Based Proof-Number Search},
  pages     = {23--35},
  year      = {2011},
  booktitle = "Computers and Games (CG'10)",
  editor    = "H.~J. van den Herik and H. Iida and A. Plaat",
  publisher = "Springer-Verlag, Berlin, Germany",
  series    = "Lecture Notes in Computer Science",
  volume = 6515
}


@comment{-----------------------------2010-----------------------------------}

@inproceedings{Kishimoto10,
  author    = {A. Kishimoto},
  title     = {Dealing with Infinite Loops, Underestimation, and Overestimation
               of Depth-First Proof-Number Search},
  editor    = {M. Fox and D. Poole},
  booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, (AAAI '10)},
  publisher = {AAAI Press},
  year      = {2010},
}

@inproceedings{Kaneko10,
editor = {M. Fox and D. Poole},
booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, (AAAI'10)},
publisher = {AAAI Press},
title = {Parallel Depth First Proof Number Search},
year = {2010},
author = {T. Kaneko},
pages= {95--100},
address   = "Menlo Park, CA, USA",
}

@inproceedings{Wu10,
  author    = {I.-C. Wu and H.-H. Lin and P.-H. Lin and D.-J. Sun and Y.-C. Chan and B.-T. Chen},
  title     = {Job-Level Proof-Number Search for Connect6},
  year      = {2011},
  pages     = {11--22},
  booktitle = "Computers and Games (CG'10)",
  editor    = "H.~J. van den Herik and H. Iida and A. Plaat",
  publisher = "Springer-Verlag, Berlin, Germany",
  series    = "Lecture Notes in Computer Science",
  volume = 6515
}

@InProceedings{Arneson:CG2010,
  author =     {B. Arneson and R. B. Hayward and P. Henderson},
  title =     {Solving {Hex}: Beyond Humans},
  booktitle = {Computers and Games 2010},
  pages =     {1--10},
  year =     2011,
  volume =     6515,
  series =     {Lecture Notes in Computer Science (LNCS)},
  editor    = "H.~J. van den Herik and H. Iida and A. Plaat",
  publisher = "Springer, Berlin, Germany"
}
@INPROCEEDINGS{Saito10,
  author = {J.-T. Saito and M.~H.~M. Winands},
  title  = "Paranoid Proof-Number Search",
  booktitle = "In Proceedings of the Computational Intelligence and Games Conference (CIG'10)",
  publisher = "IEEE Press",
  editor = " G.~N. Yannakakis and J. Togelius",
  year = "2010",
  pages = "203--210",
}

@phdthesis{Henderson2010,
author = "P. Henderson",
title  = "Playing and Solving {Hex}",
school = "University of Alberta",
address = "Edmonton, Alberta, Canada",
year   = "2010"
}

@comment{-----------------------------2009-----------------------------------}

@MastersThesis{
Moldenhauer09,
author = "C. Moldenhauer",
title = "Game Tree Search Algorithms for the Game of Cops and Robber",
school = "Department of Computing Science, University of Alberta",
year = "2009",
address = "Edmonton, Alberta, Canada",
}


@comment{-----------------------------2008-----------------------------------}

@INPROCEEDINGS{Kishimoto2008a,
 AUTHOR       = "Kishimoto, A. and M{\"u}ller, M.",
 TITLE        = "About the Completeness of Depth-First
Proof-Number Search",
 BOOKTITLE    = "Computers and Games. 6th International Conference",
 EDITOR       = "van den Herik, J. and Xu, X. and Ma, Z. and Winands, M.",
 PUBLISHER    = "Springer",
 SERIES    = {Lecture Notes in Computer Science},
 VOLUME    = {5131},
 ADDRESS = "Beijing, China",
 PAGES        = "146--156",
 YEAR         = "2008",
 NOTE         = "\url{http://dx.doi.org/10.1007/978-3-540-87608-3_14}"
}

@inproceedings{Ueda08,
 author = {T. Ueda and T. Hashimoto and J. Hashimoto and H. Iida},
 title = {Weak Proof-Number Search},
 booktitle = {CG '08: Proceedings of the 6th International Conference on Computers and Games},
 year = {2008},
 isbn = {978-3-540-87607-6},
 pages = {157--168},
 location = {Beijing, China},
 doi = {http://dx.doi.org/10.1007/978-3-540-87608-3_15},
 publisher = {Springer-Verlag},
 address = {Heidelberg, Germany},
  editor= {H.~J. van den Herik and X. Xu and Z. Ma and M.~H.~M. Winands}
}

@inproceedings{Yoshizoe08,
 author = {K. Yoshizoe},
 title = {A New Proof-Number Calculation Technique for {P}roof-{N}umber {S}earch},
 booktitle = {CG '08: Proceedings of the 6th International Conference on Computers and Games},
 year = {2008},
 isbn = {978-3-540-87607-6},
 pages = {135--145},
 location = {Beijing, China},
 doi = {http://dx.doi.org/10.1007/978-3-540-87608-3_15},
 publisher = {Springer-Verlag},
 address = {Heidelberg, Germany},
  editor= {H.~J. van den Herik and X. Xu and Z. Ma and M.~H.~M. Winands}
}


@comment{-----------------------------2007-----------------------------------}

@article{
    Schaeffer07,
    author = {J. Schaeffer and N. Burch and Y. Bj\"{o}rnsson and A. Kishimoto and M. M\"{u}ller and R. Lake and P. Lu and S. Sutphen},
    title = "Checkers is solved",
    year = "2007",
    journal = "Science",
    volume = "317",
    number = "5844",
    pages = "1518--1522",
}

@InProceedings{Yoshizoe:IJCAI2007,
  author =     {K. Yoshizoe and A. Kishimoto and M. M\"uller},
  title =     {Lambda Depth-First Proof Number Search and Its Application to {Go}},
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  pages =     {2404--2409},
  editor = {M. Veloso},
  year =     2007}

@inproceedings{
Pawlewicz07,
author = {J. Pawlewicz and \L{}. Lew},
title = "Improving depth-first pn-search: 1+$\epsilon$ trick",
editor = {H.~J. van den Herik and P. Ciancarini and H.~H.~L.~M. Donkers},
booktitle = "Proceedings of the 5th Computers and Games Conference (CG'06)",
publisher = "Springer, Heidelberg, Germany",
series = "Lecture Notes in Computer Science",
volume = "4630",
year = "2007",
pages = "160--170"
}


@comment{-----------------------------2006-----------------------------------}

@InProceedings{Niu:ACG2005,
  author =     {X. Niu and A. Kishimoto and M. M\"uller},
  title =     {Recognizing Seki in Computer {Go}},
  booktitle = {Advances in Computer Games 11},
    editor    = {H.~J. van den Herik and S. Hsu and T. Hsu and H.~H.~L.~M. Donkers},
  pages  =     {88--103},
  year   =     2006,
  volume =     4250,
  series =     {Lecture Notes in Computer Science (LNCS)},
  publisher = {Springer},
  address = {Berlin, Germany}
}


@comment{-----------------------------2005-----------------------------------}

@InProceedings{Okabe:GPW2005,
  author =     {F. Okabe},
  title =     {Application of the Route Branch Number for Solving Tsume Shogi Problems},
  booktitle = {Proceedings of the 10th Game Programming Workshop},
  pages =     {9--16},
  year =     2005,
   note = "In Japanese"
  }

@phdthesis{Kishimoto05,
author = "A. Kishimoto",
title  = "Correct and Efficient Search Agorithms in the Presence of Repetitions",
school = "University of Alberta",
address = "Edmonton, Alberta, Canada",
year   = "2005"
}

@inproceedings{Kishimoto05b,
author = {A. Kishimoto and M. M\"{u}ller},
title = "Search versus Knowledge for Solving Life and Death Problems in {G}o",
booktitle = "Proceedings of the 20th National Conference on Artificial Intelligence (AAAI'05)",
pages = "1374--1379",
year = "2005",
editor = "M.~M. Veloso and S. Kambhampati",
publisher = "AAAI Press / MIT Press",
address = "Menlo Park, CA, USA",
}

@InProceedings{Kaneko:GPW2005,
  author =     {T. Kaneko and T. Tanaka and K. Yamaguchi and S. Kawai},
  title =     {Df-pn with Fixed-Depth Search at Frontier Nodes},
  booktitle = {Proceedings of the 10th Game Programming Workshop (GPW'05)},
  pages =     {1--8},
  year =     2005,
 note = {In Japanese}
  }

@inproceedings{Schaeffer05,
  author    = {J. Schaeffer and
               Y. Bj{\"o}rnsson and
               N. Burch and
               A. Kishimoto and
               M. M{\"u}ller and
               R. Lake and
               P. Lu and
               S. Sutphen},
  title     = {Solving Checkers},
  booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)},
  year      = {2005},
  editor = {L.~P. Kaelbling and A. Saffiotti},
  pages     = {292--297}
}

@InProceedings{Soeda:ACG2005,
  author =     {S. Soeda and T. Kaneko and T. Tanaka},
  title =     {Dual Lambda Search and Shogi Endgames},
  booktitle = {Advances in Computer Games 11},
  pages =     {126--139},
  year =     2006,
  volume =     4250,
    editor    = {H.~J. van den Herik and S. Hsu and T. Hsu and H.~H.~L.~M. Donkers},
  series =     {Lecture Notes in Computer Science (LNCS)},
  publisher = {Springer},
 address = {Berlin, Germany}
  }

@comment{-----------------------------2004-----------------------------------}

@InProceedings{Kishimoto:AAAI2004,
  author =     {A. Kishimoto and M. M{\"u}ller},
  title =     {A General Solution to the Graph History Interaction Problem},
  booktitle = {Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04)},
  editor = {D.~L. McGuinness and G. Ferguson},
  pages =     {644--649},
  year =     2004
}

@phdthesis{
Winands04b,
author = "M.~H.~M. Winands",
title = "Informed Search in Complex Games",
school = "Maastricht University",
address = "The Netherlands",
year = "2004",
}

@InProceedings{Kaneko:GPW2004,
  author =     {T. Kaneko and T. Tanaka and K. Yamaguchi and S. Kawai},
  title =     {Evaluation Functions for df-pn+ in Shogi based on Prediction of Proof and Disproof Numbers after Expansion},
  booktitle = {Proceedings of the 9th Game Programming Workshop (GPW'04)},
  pages =     {14--21},
  year =     2004,
  note = {In Japanese}}

@InProceedings{Miwa:GPW2004,
  author =     {M. Miwa and D. Yokoyama and T. Chikayama},
  title =     {Prediction of Mates in Shogi Using SVM and its Application},
  booktitle = {Proceedings of the 9th Game Programming Workshop (GPW'04)},
  pages =     {143--150},
  year =     2004,
 note = {In Japanese}
}


@comment{-----------------------------2003-----------------------------------}

@inproceedings{winands03c, key="winands03c",
 author="M.~H.~M. Winands and J.~W.~H.~M. Uiterwijk  and H.~J. van den Herik",
 year=2003,
 title="PDS-PN: A New Proof-Number Search Algorithm: Application to Lines of Action",
 booktitle="Computers and Games, Lecture Notes in Computer Science 2883",
 editor="J. Schaeffer and M. M{\"u}ller and Y. Bj{\"o}rnsson",
 pages="170--185",
 publisher="Springer-Verlag",
 address="Berlin, Germany"
}

@inproceedings{Kishimoto03,
    author = "A. Kishimoto and M. M{\"u}ller",
    title = "Df-pn in {Go}: An Application to the One-Eye Problem",
    editor = {H.~J. van den Herik and H. Iida and E.~A. Heinz},
    pages = "125--141",
    year = "2003",
    booktitle="Advances in Computer Games 10 (ACG'03): Many Games, Many Challenges",
    publisher = "Kluwer Academic Publishers, Boston, MA, USA"
}


@comment{-----------------------------2002-----------------------------------}

@phdthesis{
Nagai02,
author = "A. Nagai",
title = "Df-pn Algorithm for Searching AND/OR trees and its Applications",
school = "The University of Tokyo",
address = "Japan",
year = "2002",
}

@InProceedings{Mueller:CG2002,
  author =     {M. M\"uller},
  title =     {Proof-Set Search},
  booktitle = {Computers and Games 2002},
  pages =     {88--107},
  year =     2003,
  volume =     2883,
  series =     {Lecture Notes in Computer Science (LNCS)},
  publisher = "Springer, Heidelberg, Germany",
  editor="J. Schaeffer and M. M{\"u}ller and Y. Bj{\"o}rnsson"
  }

@comment{-----------------------------2001-----------------------------------}

@inproceedings{breuker01b,
   author="D.~M. Breuker and J.~W.~H.~M. Uiterwijk and H.~J. van den Herik",
   title="The {PN$^2$}-Search Algorithm",
   publisher="IKAT, Universiteit Maastricht, Maastricht, The Netherlands",
   booktitle="Advances in Computer Games 9",
   editor="H.~J. van den Herik and B. Monien",
   year=2001,
   pages="115--132"
}

@Article{Seo01,
   author = "M. Seo and H. Iida and J.~W.~H.~M. Uiterwijk",
   title = "The {$\mbox{PN}^{\ast}$}-Search Algorithm: Application to Tsume Shogi",
   journal = "Artificial Intelligence",
   year = "2001",
   volume = "129",
   number = "1-2",
   pages = "253--277",
}

@phdthesis{Sakuta2001, 
author="M. Sakuta",
           title = "Deterministic Solving of Problems with Uncertainty",
           year = 2001,
           school = "Shizuoka University",
           address = "Hamamatsu, Japan"
}


@comment{-----------------------------2000-----------------------------------}

@comment{-----------------------------1999-----------------------------------}

@mastersthesis(Nagai99,
    author="A. Nagai",
    title="A New Depth-First-Search Algorithm for {AND}/{OR} Trees ",
    school = "The University of Tokyo",
    address = "Tokyo, Japan",
    year=1999
    )

@inproceedings{Nagai99b,
 author = "A. Nagai",
 title = {Application of df-pn+ to Othello Endgames},
 booktitle = {Proceedings of the 5th Game Programming Workshop},
 year = {1999},
 pages = {16--23},
 location = {Hakone, Japan},
 series = "IPSJ Symposium Series",
 volume = "99(14)"
}

@comment{-----------------------------1998-----------------------------------}

@phdthesis(Breuker98,
    author="D.~M. Breuker",
    title="Memory versus Search in Games",
    school = uni-UM,
    address = uni-UM:adr,
    year=1998
    )

@comment{-----------------------------1996-----------------------------------}

@InProceedings{Kawano1996,
  author    =      {Y. Kawano},
  title     =      {Using Similar Positions to Search Game Trees},
  booktitle =      {Games of No Chance},
  pages     =      {193--202},
  year      =      {1996},
  editor    =      {R. Nowakowski},
  volume    =      {29},
  series    =      {MSRI Publications},
  publisher =      {Cambridge University Press},
}

@comment{-----------------------------1994-----------------------------------}

@phdthesis{
Allis94b,
author = "L.~V. Allis",
title = "Searching for Solutions in Games and {A}rtificial {I}ntelligence",
school = "University of Limburg",
address = "Maastricht, The Netherlands",
year = "1994",
}

@article{
Allis94,
title = "{P}roof-{N}umber {S}earch",
author = "L.~V. Allis and M. van der Meulen and H.~J. van den Herik",
journal = "Artificial Intelligence",
year = "1994",
volume = "66",
number = "1",
pages = "91--124",
}

@Article{Schijf:ICCA1994,
  author =     {M. Schijf and L.~V. Allis and J.~W.~H.~M. Uiterwijk},
  title =     {Proof-Number Search and Transpositions},
  journal =     {ICCA Journal},
  year =     1994,
  volume =     17,
  pages =     {63--74}}

@incollection(breuker94a, key="breuker94a", author="D.~M. Breuker and L.~V. Allis and  H.~J. van den Herik",
    title="How to Mate: Applying Proof-Number Search ",
    booktitle="Advances in Computer Chess 7",
    editor = "H.~J. van den Herik and I.~S. Herschberg and J.~W.~H.~M. Uiterwijk",
    pages = "251--272",
    year=1994,
    publisher = "University of Limburg, Maastricht, The Netherlands",
    )


@comment{-----------------------------1993-----------------------------------}

@MastersThesis{Schijf:MSc1993,
  author =     {M. Schijf},
  title =     {Proof-Number Search and Transpositions},
  school =     {University of Leiden},
  address = {Leiden, The Netherlands},
  year =     1993}

@comment{-----------------------------1990-----------------------------------}

@ARTICLE{
Schaeffer90,
author = {J. Schaeffer},
title = {Conspiracy Numbers},
journal = {Artificial Intelligence},
year = {1990},
volume = "43",
number = "1",
pages = "67--84",
}

@comment{-----------------------------1989-----------------------------------}

@InProceedings{Elkan1989,
  author = 	 {C. Elkan},
  title = 	 {Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving},
  booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI-89)},
  pages = 	 {341--348},
  year = 	 {1989},
  editor = {N.~S. Sridharan}
}

@comment{-----------------------------1989-----------------------------------}

@article{McAllester1988,
author = "D.~A. McAllester",
title = "Conspiracy Numbers for Min-Max Search",
journal = "Artificial Intelligence",
year = "1988",
volume = "35",
number = "3",
pages = "287--310"
}



@comment{-----------------------------1985-----------------------------------}

@inproceedings{Campbell85,
 author = "M.S. Campbell",
 title = {The Graph-History Interaction: On Ignoring Position History},
 booktitle = {Proceedings of the 1985 ACM Annual Conference on the Range of Computing: Mid-80's Perspective},
 year = "1985",
 pages = {278--280},
 location = {Denver, Colorado, United States},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@comment{-----------------------------1983-----------------------------------}
@phdthesis{
    Palay82,
    author = "A.~J. Palay",
    title = "{S}earching with {p}robabilities",
    school = "Carnagie Mellon University",
    address = "PA, USA",
    year = "1983",
}