BibTeX
CSL-JSON
MLA
Harvard
Term-Level Reasoning in Support of Bit-blasting
release_ehkvx4x44jh55ppci2uk52o3ze
by
Sol Swords
Published
in Electronic Proceedings in Theoretical Computer Science by Open Publishing Association.
2017 Volume 249, p95-111
Archived Content
There are no accessible files associated with this release. You could check other releases for this work for an accessible version.
Not Preserved
Save Paper Now!
Know of a fulltext copy of on the public web? Submit a URL and we will archive it
Proceedings Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:
2075-2180
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar