A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. (Record no. 28692061)

MARC details
000 -LEADER
fixed length control field 00818 a2200217 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250517231637.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field ####s 0 0 eng d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 1573-0670
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/s10817-018-9455-7
Source of number or code doi
040 ## - CATALOGING SOURCE
Original cataloging agency NLM
Language of cataloging eng
Transcribing agency NLM
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Blanchette, Jasmin Christian
245 00 - TITLE STATEMENT
Title A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
Medium [electronic resource]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Journal of automated reasoning
Date of publication, distribution, etc. 2018
300 ## - PHYSICAL DESCRIPTION
Extent 333-365 p.
Other physical details digital
500 ## - GENERAL NOTE
General note Publication Type: Journal Article
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fleury, Mathias
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lammich, Peter
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Weidenbach, Christoph
773 0# - HOST ITEM ENTRY
Title Journal of automated reasoning
Related parts vol. 61
-- no. 1
-- p. 333-365
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/s10817-018-9455-7">https://doi.org/10.1007/s10817-018-9455-7</a>
Public note Available from publisher's website

No items available.