Inproceedings,

Reducing the Seesaw Effect with Deep Proof-Number Search.

, , , and .
ACG, volume 9525 of Lecture Notes in Computer Science, page 185-197. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews