Matches in SemOpenAlex for { <https://semopenalex.org/work/W2830979276> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2830979276 abstract "All solutions SAT (All-SAT) is important in applications where we require enumerating all satisfying assignments of a propositional formula, e.g., when reasoning over many or all possible test patterns in Automatic Test Pattern Generation (ATPG). We applied structural analysis starting from primary inputs or primary outputs to generalize a current total assignment to a partial assignment. This speeds up the determination of all satisfying assignments. The experiments were conducted using a large number of random instances and different available All-SAT solvers. We show that structural analysis techniques can significantly speed up enumeration of all satisfying assignments of combinational circuits and yield the the second largest number of total satisfying assignments from all compared All-SAT solvers." @default.
- W2830979276 created "2018-07-19" @default.
- W2830979276 creator A5008766097 @default.
- W2830979276 creator A5073174880 @default.
- W2830979276 date "2018-04-01" @default.
- W2830979276 modified "2023-09-27" @default.
- W2830979276 title "Augmenting All Solution SAT Solving for Circuits with Structural Information" @default.
- W2830979276 cites W1518705996 @default.
- W2830979276 cites W1542414055 @default.
- W2830979276 cites W1592338211 @default.
- W2830979276 cites W1608123432 @default.
- W2830979276 cites W1681159018 @default.
- W2830979276 cites W1820309519 @default.
- W2830979276 cites W1992119405 @default.
- W2830979276 cites W2002476964 @default.
- W2830979276 cites W2043876870 @default.
- W2830979276 cites W2100092298 @default.
- W2830979276 cites W2111265695 @default.
- W2830979276 cites W2126626789 @default.
- W2830979276 cites W2151398141 @default.
- W2830979276 cites W2153390672 @default.
- W2830979276 cites W2188073520 @default.
- W2830979276 cites W3100402266 @default.
- W2830979276 cites W3123509436 @default.
- W2830979276 cites W95959045 @default.
- W2830979276 cites W1966107738 @default.
- W2830979276 doi "https://doi.org/10.1109/ddecs.2018.00028" @default.
- W2830979276 hasPublicationYear "2018" @default.
- W2830979276 type Work @default.
- W2830979276 sameAs 2830979276 @default.
- W2830979276 citedByCount "1" @default.
- W2830979276 countsByYear W28309792762020 @default.
- W2830979276 crossrefType "proceedings-article" @default.
- W2830979276 hasAuthorship W2830979276A5008766097 @default.
- W2830979276 hasAuthorship W2830979276A5073174880 @default.
- W2830979276 hasConcept C102993220 @default.
- W2830979276 hasConcept C11413529 @default.
- W2830979276 hasConcept C118615104 @default.
- W2830979276 hasConcept C119599485 @default.
- W2830979276 hasConcept C127413603 @default.
- W2830979276 hasConcept C131017901 @default.
- W2830979276 hasConcept C134146338 @default.
- W2830979276 hasConcept C14523651 @default.
- W2830979276 hasConcept C156340839 @default.
- W2830979276 hasConcept C17626397 @default.
- W2830979276 hasConcept C33203268 @default.
- W2830979276 hasConcept C33923547 @default.
- W2830979276 hasConcept C41008148 @default.
- W2830979276 hasConcept C74640108 @default.
- W2830979276 hasConcept C80444323 @default.
- W2830979276 hasConcept C81409106 @default.
- W2830979276 hasConceptScore W2830979276C102993220 @default.
- W2830979276 hasConceptScore W2830979276C11413529 @default.
- W2830979276 hasConceptScore W2830979276C118615104 @default.
- W2830979276 hasConceptScore W2830979276C119599485 @default.
- W2830979276 hasConceptScore W2830979276C127413603 @default.
- W2830979276 hasConceptScore W2830979276C131017901 @default.
- W2830979276 hasConceptScore W2830979276C134146338 @default.
- W2830979276 hasConceptScore W2830979276C14523651 @default.
- W2830979276 hasConceptScore W2830979276C156340839 @default.
- W2830979276 hasConceptScore W2830979276C17626397 @default.
- W2830979276 hasConceptScore W2830979276C33203268 @default.
- W2830979276 hasConceptScore W2830979276C33923547 @default.
- W2830979276 hasConceptScore W2830979276C41008148 @default.
- W2830979276 hasConceptScore W2830979276C74640108 @default.
- W2830979276 hasConceptScore W2830979276C80444323 @default.
- W2830979276 hasConceptScore W2830979276C81409106 @default.
- W2830979276 hasLocation W28309792761 @default.
- W2830979276 hasOpenAccess W2830979276 @default.
- W2830979276 hasPrimaryLocation W28309792761 @default.
- W2830979276 hasRelatedWork W1500096942 @default.
- W2830979276 hasRelatedWork W1536017779 @default.
- W2830979276 hasRelatedWork W1728966390 @default.
- W2830979276 hasRelatedWork W1835373201 @default.
- W2830979276 hasRelatedWork W1981423850 @default.
- W2830979276 hasRelatedWork W2025799810 @default.
- W2830979276 hasRelatedWork W2051496719 @default.
- W2830979276 hasRelatedWork W2109648051 @default.
- W2830979276 hasRelatedWork W2206700985 @default.
- W2830979276 hasRelatedWork W2309880324 @default.
- W2830979276 hasRelatedWork W2376232178 @default.
- W2830979276 hasRelatedWork W2406720120 @default.
- W2830979276 hasRelatedWork W2500727157 @default.
- W2830979276 hasRelatedWork W2506635678 @default.
- W2830979276 hasRelatedWork W2772008579 @default.
- W2830979276 hasRelatedWork W2784788793 @default.
- W2830979276 hasRelatedWork W3109952702 @default.
- W2830979276 hasRelatedWork W3127941413 @default.
- W2830979276 hasRelatedWork W3155949217 @default.
- W2830979276 hasRelatedWork W3195562319 @default.
- W2830979276 isParatext "false" @default.
- W2830979276 isRetracted "false" @default.
- W2830979276 magId "2830979276" @default.
- W2830979276 workType "article" @default.