Tableaux + Constraints

Martin Giese and Reiner Hähnle

There is an increasing number of publications in which the analytic
tableaux calculus is combined with technology based on constraint
solving.  Although the details, as well as the purpose of these
combinations vary widely, the results are invariably referred to as
``constraint tableaux'' or sometimes ``constrained tableaux''.  We
view some of the combinations and propose a more differentiated
nomenclature.