Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023688589> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2023688589 abstract "In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection during SAT search. Experimental results show that exploiting the problem structure in this way speeds up the 01X-SAT-solver considerably. Additionally, we give a concise first-order formulation that is more expressive than using 01X-logic. This formulation leads to hard-to-solve QBF formulas for which experimental results from the QBF Evaluation 2006 are presented." @default.
- W2023688589 created "2016-06-24" @default.
- W2023688589 creator A5002292119 @default.
- W2023688589 creator A5038861833 @default.
- W2023688589 creator A5057642707 @default.
- W2023688589 date "2006-12-01" @default.
- W2023688589 modified "2023-10-16" @default.
- W2023688589 title "Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs" @default.
- W2023688589 cites W1480301700 @default.
- W2023688589 cites W1482661140 @default.
- W2023688589 cites W1496518193 @default.
- W2023688589 cites W1518705996 @default.
- W2023688589 cites W1554885925 @default.
- W2023688589 cites W1566041312 @default.
- W2023688589 cites W1572445670 @default.
- W2023688589 cites W1609729953 @default.
- W2023688589 cites W1819209966 @default.
- W2023688589 cites W2044560939 @default.
- W2023688589 cites W2103375392 @default.
- W2023688589 cites W2114574336 @default.
- W2023688589 cites W2121706505 @default.
- W2023688589 cites W2123801402 @default.
- W2023688589 cites W2140132043 @default.
- W2023688589 cites W2142785340 @default.
- W2023688589 cites W2146334077 @default.
- W2023688589 cites W2285269242 @default.
- W2023688589 cites W2406400984 @default.
- W2023688589 cites W2914871854 @default.
- W2023688589 cites W2126468741 @default.
- W2023688589 doi "https://doi.org/10.1109/mtv.2006.3" @default.
- W2023688589 hasPublicationYear "2006" @default.
- W2023688589 type Work @default.
- W2023688589 sameAs 2023688589 @default.
- W2023688589 citedByCount "17" @default.
- W2023688589 countsByYear W20236885892012 @default.
- W2023688589 countsByYear W20236885892013 @default.
- W2023688589 countsByYear W20236885892015 @default.
- W2023688589 crossrefType "proceedings-article" @default.
- W2023688589 hasAuthorship W2023688589A5002292119 @default.
- W2023688589 hasAuthorship W2023688589A5038861833 @default.
- W2023688589 hasAuthorship W2023688589A5057642707 @default.
- W2023688589 hasBestOaLocation W20236885892 @default.
- W2023688589 hasConcept C110251889 @default.
- W2023688589 hasConcept C11413529 @default.
- W2023688589 hasConcept C127413603 @default.
- W2023688589 hasConcept C134306372 @default.
- W2023688589 hasConcept C165696696 @default.
- W2023688589 hasConcept C199360897 @default.
- W2023688589 hasConcept C2778770139 @default.
- W2023688589 hasConcept C33923547 @default.
- W2023688589 hasConcept C34388435 @default.
- W2023688589 hasConcept C38652104 @default.
- W2023688589 hasConcept C41008148 @default.
- W2023688589 hasConcept C62611344 @default.
- W2023688589 hasConcept C66938386 @default.
- W2023688589 hasConcept C6943359 @default.
- W2023688589 hasConcept C80444323 @default.
- W2023688589 hasConceptScore W2023688589C110251889 @default.
- W2023688589 hasConceptScore W2023688589C11413529 @default.
- W2023688589 hasConceptScore W2023688589C127413603 @default.
- W2023688589 hasConceptScore W2023688589C134306372 @default.
- W2023688589 hasConceptScore W2023688589C165696696 @default.
- W2023688589 hasConceptScore W2023688589C199360897 @default.
- W2023688589 hasConceptScore W2023688589C2778770139 @default.
- W2023688589 hasConceptScore W2023688589C33923547 @default.
- W2023688589 hasConceptScore W2023688589C34388435 @default.
- W2023688589 hasConceptScore W2023688589C38652104 @default.
- W2023688589 hasConceptScore W2023688589C41008148 @default.
- W2023688589 hasConceptScore W2023688589C62611344 @default.
- W2023688589 hasConceptScore W2023688589C66938386 @default.
- W2023688589 hasConceptScore W2023688589C6943359 @default.
- W2023688589 hasConceptScore W2023688589C80444323 @default.
- W2023688589 hasLocation W20236885891 @default.
- W2023688589 hasLocation W20236885892 @default.
- W2023688589 hasOpenAccess W2023688589 @default.
- W2023688589 hasPrimaryLocation W20236885891 @default.
- W2023688589 hasRelatedWork W1555272910 @default.
- W2023688589 hasRelatedWork W2154746918 @default.
- W2023688589 hasRelatedWork W2275271575 @default.
- W2023688589 hasRelatedWork W2405261564 @default.
- W2023688589 hasRelatedWork W2735287568 @default.
- W2023688589 hasRelatedWork W2883329459 @default.
- W2023688589 hasRelatedWork W2938781954 @default.
- W2023688589 hasRelatedWork W2979928436 @default.
- W2023688589 hasRelatedWork W4295885746 @default.
- W2023688589 hasRelatedWork W1580211323 @default.
- W2023688589 isParatext "false" @default.
- W2023688589 isRetracted "false" @default.
- W2023688589 magId "2023688589" @default.
- W2023688589 workType "article" @default.