Special issue: Satisfiability in the year 2000
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1515405