A DPLL-Based Calculus for Ground Satisfiability Modulo Theories release_zimqfphexfbcddnyiqrsp3rd6y

by Cesare Tinelli

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2002   p308-319

Archived Files and Locations

application/pdf  158.5 kB
file_xmdvamx53rgb5aozjimyql7ype
web.archive.org (webarchive)
web.archive.org (webarchive)
www.stat.uiowa.edu (web)
Read Archived PDF
Archived
Type  chapter
Stage   published
Year   2002
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 1c85d6e2-8987-47d8-b309-414a9834b920
API URL: JSON