"Exponential behaviour of the Butkovic-Zimmermann algorithm for solving ..."

Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell (2008)

Details and statistics

DOI: 10.1016/J.DAM.2008.03.016

access: open

type: Journal Article

metadata version: 2022-10-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics