Three improvements to the top-down solver.

Saved in:
Bibliographic Details
Title: Three improvements to the top-down solver.
Authors: Seidl, Helmut1 (AUTHOR) seidl@in.tum.de, Vogler, Ralf1 (AUTHOR)
Source: Mathematical Structures in Computer Science. Oct2021, Vol. 31 Issue 9, p1090-1134. 45p.
Database: Mathematics Source
Description
ISSN:09601295
DOI:10.1017/S0960129521000499