Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110708506> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2110708506 abstract "Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are binary decision diagrams (BDDs) and methods based on Boolean satisfiability (SAT). Recent studies have shown that BDDs and SAT are orthogonal, i.e. there exist problems where BDDs work well, while SAT solvers fail and vice versa. Beside this, the techniques are very different in general. E.g. SAT solvers try to find a single solution and BDDs represent all solutions in parallel. In this paper the first integrated approach is presented that combines BDDs and SAT within a single data structure. This hybrid approach combines the advantages of the two techniques, i.e. multiple solutions can be computed while the memory requirement remains small. First experimental results demonstrate the quality of the approach in comparison to BDDs and SAT solvers." @default.
- W2110708506 created "2016-06-24" @default.
- W2110708506 creator A5003590546 @default.
- W2110708506 creator A5008766097 @default.
- W2110708506 creator A5071742136 @default.
- W2110708506 date "2006-01-01" @default.
- W2110708506 modified "2023-09-26" @default.
- W2110708506 title "An integrated approach for combining BDD and SAT provers" @default.
- W2110708506 cites W1787074469 @default.
- W2110708506 cites W1795892855 @default.
- W2110708506 cites W1802780793 @default.
- W2110708506 cites W1840416799 @default.
- W2110708506 cites W1974160621 @default.
- W2110708506 cites W1994064122 @default.
- W2110708506 cites W2048051309 @default.
- W2110708506 cites W2075959177 @default.
- W2110708506 cites W2080267935 @default.
- W2110708506 cites W2090233333 @default.
- W2110708506 cites W2105887023 @default.
- W2110708506 cites W2113246814 @default.
- W2110708506 cites W2118098056 @default.
- W2110708506 cites W2126983591 @default.
- W2110708506 cites W212786159 @default.
- W2110708506 cites W2128706989 @default.
- W2110708506 cites W2135453964 @default.
- W2110708506 cites W2135613306 @default.
- W2110708506 cites W2139907818 @default.
- W2110708506 cites W2140132043 @default.
- W2110708506 cites W2141201469 @default.
- W2110708506 cites W2142785340 @default.
- W2110708506 cites W2151793720 @default.
- W2110708506 cites W2156490005 @default.
- W2110708506 cites W2171471221 @default.
- W2110708506 cites W2971807880 @default.
- W2110708506 cites W3022749232 @default.
- W2110708506 cites W3161092854 @default.
- W2110708506 doi "https://doi.org/10.1109/vlsid.2006.44" @default.
- W2110708506 hasPublicationYear "2006" @default.
- W2110708506 type Work @default.
- W2110708506 sameAs 2110708506 @default.
- W2110708506 citedByCount "1" @default.
- W2110708506 crossrefType "proceedings-article" @default.
- W2110708506 hasAuthorship W2110708506A5003590546 @default.
- W2110708506 hasAuthorship W2110708506A5008766097 @default.
- W2110708506 hasAuthorship W2110708506A5071742136 @default.
- W2110708506 hasBestOaLocation W21107085062 @default.
- W2110708506 hasConcept C110251889 @default.
- W2110708506 hasConcept C111498074 @default.
- W2110708506 hasConcept C11413529 @default.
- W2110708506 hasConcept C141796577 @default.
- W2110708506 hasConcept C151730666 @default.
- W2110708506 hasConcept C168773769 @default.
- W2110708506 hasConcept C187455244 @default.
- W2110708506 hasConcept C200415742 @default.
- W2110708506 hasConcept C2779343474 @default.
- W2110708506 hasConcept C3309909 @default.
- W2110708506 hasConcept C41008148 @default.
- W2110708506 hasConcept C6943359 @default.
- W2110708506 hasConcept C80444323 @default.
- W2110708506 hasConcept C86803240 @default.
- W2110708506 hasConceptScore W2110708506C110251889 @default.
- W2110708506 hasConceptScore W2110708506C111498074 @default.
- W2110708506 hasConceptScore W2110708506C11413529 @default.
- W2110708506 hasConceptScore W2110708506C141796577 @default.
- W2110708506 hasConceptScore W2110708506C151730666 @default.
- W2110708506 hasConceptScore W2110708506C168773769 @default.
- W2110708506 hasConceptScore W2110708506C187455244 @default.
- W2110708506 hasConceptScore W2110708506C200415742 @default.
- W2110708506 hasConceptScore W2110708506C2779343474 @default.
- W2110708506 hasConceptScore W2110708506C3309909 @default.
- W2110708506 hasConceptScore W2110708506C41008148 @default.
- W2110708506 hasConceptScore W2110708506C6943359 @default.
- W2110708506 hasConceptScore W2110708506C80444323 @default.
- W2110708506 hasConceptScore W2110708506C86803240 @default.
- W2110708506 hasLocation W21107085061 @default.
- W2110708506 hasLocation W21107085062 @default.
- W2110708506 hasOpenAccess W2110708506 @default.
- W2110708506 hasPrimaryLocation W21107085061 @default.
- W2110708506 hasRelatedWork W1499470128 @default.
- W2110708506 hasRelatedWork W1549820563 @default.
- W2110708506 hasRelatedWork W1579329129 @default.
- W2110708506 hasRelatedWork W2047591646 @default.
- W2110708506 hasRelatedWork W2110708506 @default.
- W2110708506 hasRelatedWork W2139907818 @default.
- W2110708506 hasRelatedWork W2359737478 @default.
- W2110708506 hasRelatedWork W3142296598 @default.
- W2110708506 hasRelatedWork W4299734787 @default.
- W2110708506 hasRelatedWork W83935621 @default.
- W2110708506 isParatext "false" @default.
- W2110708506 isRetracted "false" @default.
- W2110708506 magId "2110708506" @default.
- W2110708506 workType "article" @default.