DPLL(T): Fast decision procedures

Conference proceeding

Open access

Peer reviewed

Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras and Cesare Tinelli

Lecture notes in computer science, Vol.3114, pp.175-188

CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004)

2004

DOI: 10.1007/978-3-540-27813-9_14

Files and links (1)

url

https://doi.org/10.1007/978-3-540-27813-9_14View

Published (Version of record) Open Access

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Software

Software engineering

Title: Subtitle: DPLL(T): Fast decision procedures
Creators: Harald Ganzinger - MPI für Informatik
George Hagen - University of Iowa
Robert Nieuwenhuis - Tech. Univ. of Catalonia
Albert Oliveras - Tech. Univ. of Catalonia
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3114, pp.175-188
Conference: CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004)
Publisher: Springer
DOI: 10.1007/978-3-540-27813-9_14
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2004
Academic Unit: Computer Science
Record Identifier: 9984259432302771

6 Record Views