About: On CDCL-Based Proof Systems with the Ordered Decision Strategy

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

About: On CDCL-Based Proof Systems with the Ordered Decision Strategy Goto Sponge NotDistinct Permalink

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

Attributes	Values
value	On CDCL-Based Proof Systems with the Ordered Decision Strategy
Subject	Statistical inference Risk Mathematical and quantitative methods (economics) Control theory Epistemology of science Formal sciences Decision theory Formal methods SAT solvers Satisfiability problems Automated theorem proving Economics of uncertainty
part of	On CDCL-Based Proof Systems with the Ordered Decision Strategy
is hasSource of	covid:ann/target/78d74eddadc9a16cf97bd55bd5581cf17156a89f covid:ann/target/ef1c22e922fd67b6562a018707d149e7d851d32d covid:ann/target/713d8605bd44a00cb08f139694420783cfb9913f covid:ann/target/97f716b9d171cd76f419aec3adc9d4da32bd5171 covid:ann/target/11881f05b4c03ec68939d175385325682bccb4b2 covid:ann/target/d8d57d9cc1bd7e243c6d45abd2c8d286548b2a60 covid:ann/target/a862f4225c6bf856dba0db251ff5454539bda5c1 covid:ann/target/67639ebf8ba0f9bb9144712205779b6ef78c3538 covid:ann/target/83aa8c347bcdf042bbf8928ffdaac8721098baac covid:ann/target/7a56d8386edd3d1909112fc2a617c673f227ab04 covid:ann/target/14ab5d6706e11dcdeeb668cc6dee711fd9b9b758 covid:ann/target/26e7a559aa5da082933adcc799b76669d12c80be
is resource representing a document's title of	On CDCL-Based Proof Systems with the Ordered Decision Strategy

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