Preface to special issue on satisfiability modulo theories