About: Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
value	Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
Subject	Constraint programming NP-complete problems Electronic design automation Formal methods Logic in computer science Satisfiability problems SMT solvers
part of	Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
is hasSource of	covid:ann/target/025f442938d877596df0963d2cca55783fde5dcb covid:ann/target/fdf8ab74f23c66008ea662672d833d9bae308e91 covid:ann/target/eb2b9c3ee6f7004806c6903e558fb89ec4567a12 covid:ann/target/56c6665e83c56385ed7af3398f48b62265cb5f00 covid:ann/target/2e8cb803d1f5e36f2f1d99677f35913647154ecd covid:ann/target/39b3d5bc83c41e1c1744182087965f163cdbb624 covid:ann/target/01cd4b11800c159620fb95d7cd7861e2ea00ea64 covid:ann/target/92ba9e780fc52b262cb31cf961f03451b0bac5c3 covid:ann/target/e31f7066f919053e02e41918d546f9aa6b542743 covid:ann/target/89630018f8f3c9e0b0c8d28fa83981ce4b17f46f covid:ann/target/97f655e1031b387eea444eb8e6efd953c6dc8237
is resource representing a document's title of	Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software