Changes

Jump to: navigation, search

Proof-Number Search

251 bytes added, 16:01, 16 November 2019
no edit summary
* [[I-Chen Wu]], [[Hung-Hsuan Lin]], [[Ping-Hung Lin]], [[Der-Johng Sun]], [[Yi-Chih Chan]], [[Bo-Ting Chen]] ('''2010'''). ''[http://link.springer.com/chapter/10.1007/978-3-642-17928-0_2 Job-Level Proof-Number Search for Connect6]''. [[CG 2010]]
* [[I-Chen Wu]], [[Ping-Hung Lin]] ('''2010'''). ''Relevance-Zone-Oriented Proof Search for Connect6''. [[IEEE#TOCIAIGAMES|IEEE Transactions on Computational Intelligence and AI in Games]], Vol. 2, No. 3 » [[Connect6]]
* [[Shi-Jim Yen]], [[Jung-Kuei Yang]] ('''2010'''). ''[https://www.semanticscholar.org/paper/Searching-for-Stage-Proof-Number-in-Connect6-Yen-Yang/2de70372893e8773b12391f75d2b964ea7fb6df2 Searching for Stage Proof Number in Connect6]''. [[TAAI 2010]]
* [[Tomoyuki Kaneko]] ('''2010'''). ''Parallel Depth First Proof Number Search''. [http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2010.html#Kaneko10 AAAI 2010]
* [[Abdallah Saffidine]], [[Nicolas Jouandeau]], [[Tristan Cazenave]] ('''2011'''). ''Solving Breakthrough with Race Patterns and Job-Level Proof Number Search''. [[Advances in Computer Games 13]] » [[Breakthrough (Game)]]

Navigation menu