About: An SMT Theory of Fixed-Point Arithmetic

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

About: An SMT Theory of Fixed-Point Arithmetic Goto Sponge NotDistinct Permalink

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

Attributes	Values
value	An SMT Theory of Fixed-Point Arithmetic
Subject	Constraint programming NP-complete problems Data types Electronic design automation Formal methods Logic in computer science Satisfiability problems Computer arithmetic Primitive types SMT solvers
part of	An SMT Theory of Fixed-Point Arithmetic
is hasSource of	covid:ann/target/ba8db325d6185f0719ecc95d9a0799e227a2444d covid:ann/target/d1cfddd88f74897ea8e35a6f9a4f8d93dac9056e covid:ann/target/b090b632ba238630a15498da8726e4edef44b5cc covid:ann/target/0e341f22645ed46c622c3f19fa921c8d8524ee3a covid:ann/target/ed8df46587234ae7c2be8d7dee840ffc12cf7327 covid:ann/target/ca62b0807e0584082d865936c84c1986ebabc3dc covid:ann/target/dfc7b13b1a4740f55e817cc22ae0fa6d114ddb46 covid:ann/target/57bcf10499f916aac0ffefb85861d18f643b252d covid:ann/target/94e51a69af9d5b93db841d206c6beae14f8edaf9
is resource representing a document's title of	An SMT Theory of Fixed-Point Arithmetic

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