Extracting verified decision procedures: DPLL and Resolution release_v77khapeqzghhhxduaxephewwq

by Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

Published in Logical Methods in Computer Science by Logical Methods in Computer Science e.V..

2015   Volume 11

Archived Files and Locations

application/pdf  236.7 kB
file_3e3rm6ookjcwrasaw2f7kdpoz4
cronfa.swan.ac.uk (repository)
web.archive.org (webarchive)
application/pdf  331.0 kB
file_hljbr43q65fudili7iq47xzahi
web.archive.org (webarchive)
cs.swansea.ac.uk (web)
application/pdf  270.0 kB
file_7itsuf3o2rbupju5k566q55aje
web.archive.org (webarchive)
strathprints.strath.ac.uk (web)
application/pdf  229.2 kB
file_gpakw2dxyrbsrhkdxnz7wz355y
web.archive.org (webarchive)
personal.cis.strath.ac.uk (web)
application/pdf  331.0 kB
file_exsub75ytbarzmhernjma4nowq
web.archive.org (webarchive)
cs.swan.ac.uk (web)
application/pdf  270.0 kB
file_py72hi2pf5ea3n2nbemg5qfo64
web.archive.org (webarchive)
strathprints.strath.ac.uk (web)
application/pdf  229.2 kB
file_6kon6ogqmvc6xp45qmdgus5zxu
web.archive.org (webarchive)
lmcs.episciences.org (web)
application/pdf  269.2 kB
file_gubguxxcprfstfy3hxgggousmm
core.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2015-03-10
Language   en ?
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  1860-5974
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 73d84a18-e785-46a4-9898-0c6e4a79caff
API URL: JSON