Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Year of publication

2005

Authors

Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; van Rossum, Peter; Sebastiani, Roberto

Organizations and authors

Aalto University

Junttila Tommi

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Parent publication name

Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005

Publisher

SPRINGER

Pages

335-349

Open access

Open access in the publisher’s service

Self-archived

Other information

Keywords

[object Object],[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

Co-publication with a company

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes