ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
31
views
11
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,248
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tuning SAT Checkers for Bounded Model Checking
other
Author(s):
Ofer Shtrichman
Publication date
(Print):
2000
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Business Model Innovation in engineering
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
A Computing Procedure for Quantification Theory
Martin Davis
,
Hilary Putnam
(1960)
0
comments
Cited
222
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
GRASP: a search algorithm for propositional satisfiability
J.P. Marques-Silva
,
K.A. Sakallah
(1999)
0
comments
Cited
125
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
SATO: An efficient propositional prover
Hantao Zhang
(1997)
0
comments
Cited
38
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Pages
: 480-494
DOI:
10.1007/10722167_36
SO-VID:
5a746e91-73c7-41e7-b5a9-98be1cd86a6d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 480
Tuning SAT Checkers for Bounded Model Checking
Similar content
2,248
SAT-293-Combination of FibroScan and FibroMeter (FibroMeter VCTE) improves identification of patients with advanced fibrosis in patients with NAFLD
Authors:
Peter J Eddowes
,
Michael Allison
,
Emmanouil Tsochatzis
…
Cross-checking journalistic fact-checkers: The role of sampling and scaling in interpreting false and misleading statements
Authors:
David M. Markowitz
,
Timothy R. Levine
,
Kim B. Serota
…
Shared SAT Solvers and SAT Memory in Distributed Business Applications
Authors:
Sergejs Kozlovičs
See all similar
Cited by
13
Tuning SAT Checkers for Bounded Model Checking
Authors:
Ofer Shtrichman
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Authors:
Martin Fränzle
,
Christian Herde
Recovering and Exploiting Structural Knowledge from CNF Formulas
Authors:
Richard Ostrowski
,
Eric Gregoire
,
Bertrand Mazure
…
See all cited by