Abstract DPLL and abstract DPLL modulo theories

Conference proceeding

Peer reviewed

Robert Nieuwenhnis, Albert Oliveras and Cesare Tinelli

Lecture notes in computer science, Vol.3452, pp.36-50

LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005)

2005

DOI: 10.1007/978-3-540-32275-7_3

View Online

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Learning and adaptive systems

Logical, boolean and switching functions

Theoretical computing

Title: Subtitle: Abstract DPLL and abstract DPLL modulo theories
Creators: Robert Nieuwenhnis - Technical University of Catalonia, Barcelona, Spain
Albert Oliveras - Universitat Politècnica de Catalunya
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3452, pp.36-50
Conference: LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005)
Publisher: Springer
DOI: 10.1007/978-3-540-32275-7_3
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2005
Academic Unit: Computer Science
Record Identifier: 9984259419202771

35 Record Views