Splitting on demand in SAT modulo theories

Conference proceeding

Peer reviewed

Clark Barrett, Robert Nieuwenhuis, Albert Oliveras and Cesare Tinelli

Lecture notes in computer science, Vol.4246, pp.512-526

Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)

2006

DOI: 10.1007/11916277_35

View Online

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Title: Subtitle: Splitting on demand in SAT modulo theories
Creators: Clark Barrett - New York University
Robert Nieuwenhuis - Universitat Politècnica de Catalunya
Albert Oliveras - Universitat Politècnica de Catalunya
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.4246, pp.512-526
Conference: Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006)
Publisher: Springer
DOI: 10.1007/11916277_35
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2006
Academic Unit: Computer Science
Record Identifier: 9984259403802771

6 Record Views