Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080321777> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2080321777 endingPage "436" @default.
- W2080321777 startingPage "415" @default.
- W2080321777 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. Experimental results demonstrate the quality of the approach in comparison to BDDs and SAT solvers." @default.
- W2080321777 created "2016-06-24" @default.
- W2080321777 creator A5003590546 @default.
- W2080321777 creator A5008766097 @default.
- W2080321777 creator A5071742136 @default.
- W2080321777 date "2007-01-01" @default.
- W2080321777 modified "2023-10-16" @default.
- W2080321777 title "An integrated approach for combining BDDs and SAT provers" @default.
- W2080321777 doi "https://doi.org/10.2298/fuee0703415d" @default.
- W2080321777 hasPublicationYear "2007" @default.
- W2080321777 type Work @default.
- W2080321777 sameAs 2080321777 @default.
- W2080321777 citedByCount "0" @default.
- W2080321777 crossrefType "journal-article" @default.
- W2080321777 hasAuthorship W2080321777A5003590546 @default.
- W2080321777 hasAuthorship W2080321777A5008766097 @default.
- W2080321777 hasAuthorship W2080321777A5071742136 @default.
- W2080321777 hasBestOaLocation W20803217771 @default.
- W2080321777 hasConcept C111498074 @default.
- W2080321777 hasConcept C11413529 @default.
- W2080321777 hasConcept C151730666 @default.
- W2080321777 hasConcept C168773769 @default.
- W2080321777 hasConcept C187455244 @default.
- W2080321777 hasConcept C200415742 @default.
- W2080321777 hasConcept C2779343474 @default.
- W2080321777 hasConcept C3309909 @default.
- W2080321777 hasConcept C41008148 @default.
- W2080321777 hasConcept C6943359 @default.
- W2080321777 hasConcept C80444323 @default.
- W2080321777 hasConcept C86803240 @default.
- W2080321777 hasConceptScore W2080321777C111498074 @default.
- W2080321777 hasConceptScore W2080321777C11413529 @default.
- W2080321777 hasConceptScore W2080321777C151730666 @default.
- W2080321777 hasConceptScore W2080321777C168773769 @default.
- W2080321777 hasConceptScore W2080321777C187455244 @default.
- W2080321777 hasConceptScore W2080321777C200415742 @default.
- W2080321777 hasConceptScore W2080321777C2779343474 @default.
- W2080321777 hasConceptScore W2080321777C3309909 @default.
- W2080321777 hasConceptScore W2080321777C41008148 @default.
- W2080321777 hasConceptScore W2080321777C6943359 @default.
- W2080321777 hasConceptScore W2080321777C80444323 @default.
- W2080321777 hasConceptScore W2080321777C86803240 @default.
- W2080321777 hasIssue "3" @default.
- W2080321777 hasLocation W20803217771 @default.
- W2080321777 hasLocation W20803217772 @default.
- W2080321777 hasOpenAccess W2080321777 @default.
- W2080321777 hasPrimaryLocation W20803217771 @default.
- W2080321777 hasRelatedWork W1499470128 @default.
- W2080321777 hasRelatedWork W1549820563 @default.
- W2080321777 hasRelatedWork W1579329129 @default.
- W2080321777 hasRelatedWork W2047591646 @default.
- W2080321777 hasRelatedWork W2080321777 @default.
- W2080321777 hasRelatedWork W2110708506 @default.
- W2080321777 hasRelatedWork W2139907818 @default.
- W2080321777 hasRelatedWork W2359737478 @default.
- W2080321777 hasRelatedWork W3142296598 @default.
- W2080321777 hasRelatedWork W4299734787 @default.
- W2080321777 hasVolume "20" @default.
- W2080321777 isParatext "false" @default.
- W2080321777 isRetracted "false" @default.
- W2080321777 magId "2080321777" @default.
- W2080321777 workType "article" @default.