Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295887105> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4295887105 abstract "Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances has been associated with both instance hardness and known clause quality heuristics. Our tool SATViz visualizes CNF formulas using the variable interaction graph and a force-directed layout algorithm. With SATViz, clause proofs can be animated to continuously highlight variables that occur in a moving window of recently learned clauses. If needed, SATViz can also create new layouts of the variable interaction graph with the adjusted edge weights. In this paper, we describe the structure and feature set of SATViz. We also present some interesting visualizations created with SATViz." @default.
- W4295887105 created "2022-09-16" @default.
- W4295887105 creator A5001682386 @default.
- W4295887105 creator A5026982453 @default.
- W4295887105 creator A5044041220 @default.
- W4295887105 creator A5046034520 @default.
- W4295887105 creator A5069651866 @default.
- W4295887105 creator A5080218896 @default.
- W4295887105 creator A5088760663 @default.
- W4295887105 date "2022-09-13" @default.
- W4295887105 modified "2023-09-30" @default.
- W4295887105 title "SATViz: Real-Time Visualization of Clausal Proofs" @default.
- W4295887105 doi "https://doi.org/10.48550/arxiv.2209.05838" @default.
- W4295887105 hasPublicationYear "2022" @default.
- W4295887105 type Work @default.
- W4295887105 citedByCount "0" @default.
- W4295887105 crossrefType "posted-content" @default.
- W4295887105 hasAuthorship W4295887105A5001682386 @default.
- W4295887105 hasAuthorship W4295887105A5026982453 @default.
- W4295887105 hasAuthorship W4295887105A5044041220 @default.
- W4295887105 hasAuthorship W4295887105A5046034520 @default.
- W4295887105 hasAuthorship W4295887105A5069651866 @default.
- W4295887105 hasAuthorship W4295887105A5080218896 @default.
- W4295887105 hasAuthorship W4295887105A5088760663 @default.
- W4295887105 hasBestOaLocation W42958871051 @default.
- W4295887105 hasConcept C108710211 @default.
- W4295887105 hasConcept C111919701 @default.
- W4295887105 hasConcept C112953755 @default.
- W4295887105 hasConcept C11413529 @default.
- W4295887105 hasConcept C127705205 @default.
- W4295887105 hasConcept C132525143 @default.
- W4295887105 hasConcept C134306372 @default.
- W4295887105 hasConcept C138885662 @default.
- W4295887105 hasConcept C154945302 @default.
- W4295887105 hasConcept C162307627 @default.
- W4295887105 hasConcept C177264268 @default.
- W4295887105 hasConcept C182365436 @default.
- W4295887105 hasConcept C199360897 @default.
- W4295887105 hasConcept C2524010 @default.
- W4295887105 hasConcept C2776401178 @default.
- W4295887105 hasConcept C2778751112 @default.
- W4295887105 hasConcept C2911174283 @default.
- W4295887105 hasConcept C33923547 @default.
- W4295887105 hasConcept C36464697 @default.
- W4295887105 hasConcept C41008148 @default.
- W4295887105 hasConcept C41895202 @default.
- W4295887105 hasConcept C80444323 @default.
- W4295887105 hasConceptScore W4295887105C108710211 @default.
- W4295887105 hasConceptScore W4295887105C111919701 @default.
- W4295887105 hasConceptScore W4295887105C112953755 @default.
- W4295887105 hasConceptScore W4295887105C11413529 @default.
- W4295887105 hasConceptScore W4295887105C127705205 @default.
- W4295887105 hasConceptScore W4295887105C132525143 @default.
- W4295887105 hasConceptScore W4295887105C134306372 @default.
- W4295887105 hasConceptScore W4295887105C138885662 @default.
- W4295887105 hasConceptScore W4295887105C154945302 @default.
- W4295887105 hasConceptScore W4295887105C162307627 @default.
- W4295887105 hasConceptScore W4295887105C177264268 @default.
- W4295887105 hasConceptScore W4295887105C182365436 @default.
- W4295887105 hasConceptScore W4295887105C199360897 @default.
- W4295887105 hasConceptScore W4295887105C2524010 @default.
- W4295887105 hasConceptScore W4295887105C2776401178 @default.
- W4295887105 hasConceptScore W4295887105C2778751112 @default.
- W4295887105 hasConceptScore W4295887105C2911174283 @default.
- W4295887105 hasConceptScore W4295887105C33923547 @default.
- W4295887105 hasConceptScore W4295887105C36464697 @default.
- W4295887105 hasConceptScore W4295887105C41008148 @default.
- W4295887105 hasConceptScore W4295887105C41895202 @default.
- W4295887105 hasConceptScore W4295887105C80444323 @default.
- W4295887105 hasLocation W42958871051 @default.
- W4295887105 hasOpenAccess W4295887105 @default.
- W4295887105 hasPrimaryLocation W42958871051 @default.
- W4295887105 hasRelatedWork W1912392752 @default.
- W4295887105 hasRelatedWork W1912645081 @default.
- W4295887105 hasRelatedWork W2055796300 @default.
- W4295887105 hasRelatedWork W2084864069 @default.
- W4295887105 hasRelatedWork W2154939793 @default.
- W4295887105 hasRelatedWork W2294734161 @default.
- W4295887105 hasRelatedWork W2377311228 @default.
- W4295887105 hasRelatedWork W2914112994 @default.
- W4295887105 hasRelatedWork W3122978439 @default.
- W4295887105 hasRelatedWork W622387295 @default.
- W4295887105 isParatext "false" @default.
- W4295887105 isRetracted "false" @default.
- W4295887105 workType "article" @default.