Multiple-outcome proof number search

MaRDI QIDQ3455603zbMATH OpenFDO

Authors Abdallah Saffidine, Tristan Cazenave

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7057

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) 2-person games (91A05) Experimental studies (91A90)

Recommendations

• Proof-number search
• Evaluation-function based proof-number search
• Proof-Number Search and Its Variants
• An effective two-level proof-number search algorithm
• Weak Proof-Number Search

Cited in

(1)

• Proof trees for weak achievement games

This page was built for publication: Multiple-outcome proof number search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455603)