3 research outputs found

    Parallel Dovetailing and its Application to Depth-First Proof-Number Search

    No full text
    corecore