FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3119368969> ?p ?o ?g. }

• W3119368969 endingPage "136187" @default.
• W3119368969 startingPage "136187" @default.
• W3119368969 abstract "We apply Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers in the context of finding chiral heterotic string models with positive cosmological constant from Z2×Z2 orbifolds. The power of using SAT/SMT solvers to sift large parameter spaces quickly to decide satisfiability, both to declare and prove unsatisfiability and to declare satisfiability, are demonstrated in this setting. These models are partly chosen to be small enough to plot the performance against exhaustive search, which takes around 2 hours 20 minutes to comb through the parameter space. We show that making use of SMT based techniques with integer encoding is rather simple and effective, while a more careful Boolean SAT encoding provides a significant speed-up – determining satisfiability or unsatisfiability has, in our experiments varied between 0.03 and 0.06 seconds, while determining all models (where models exist) took 19 seconds for a constraint system that allows for 2048 models and 8.4 seconds for a constraint system that admits 640 models. We thus gain several orders of magnitude in speed, and this advantage is set to grow with a growing parameter space. This holds the promise that the method scales well beyond the initial problem we have used it for in this paper." @default.
• W3119368969 created "2021-01-18" @default.
• W3119368969 creator A5001234060 @default.
• W3119368969 creator A5004609243 @default.
• W3119368969 creator A5041836791 @default.
• W3119368969 creator A5085815002 @default.
• W3119368969 date "2021-05-01" @default.
• W3119368969 modified "2023-10-17" @default.
• W3119368969 title "Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant" @default.
• W3119368969 cites W1486132939 @default.
• W3119368969 cites W1554566517 @default.
• W3119368969 cites W1666005333 @default.
• W3119368969 cites W1966858382 @default.
• W3119368969 cites W1970321132 @default.
• W3119368969 cites W1970878831 @default.
• W3119368969 cites W1978261724 @default.
• W3119368969 cites W1981367765 @default.
• W3119368969 cites W1984446637 @default.
• W3119368969 cites W1986517153 @default.
• W3119368969 cites W1994504993 @default.
• W3119368969 cites W1999589892 @default.
• W3119368969 cites W2004739852 @default.
• W3119368969 cites W2009005608 @default.
• W3119368969 cites W2015639619 @default.
• W3119368969 cites W2016188790 @default.
• W3119368969 cites W2016240803 @default.
• W3119368969 cites W2026049023 @default.
• W3119368969 cites W2040815898 @default.
• W3119368969 cites W2043241826 @default.
• W3119368969 cites W2049677736 @default.
• W3119368969 cites W2056789316 @default.
• W3119368969 cites W2056820493 @default.
• W3119368969 cites W2067568243 @default.
• W3119368969 cites W2070001846 @default.
• W3119368969 cites W2078143381 @default.
• W3119368969 cites W2083476336 @default.
• W3119368969 cites W2086067209 @default.
• W3119368969 cites W2094891250 @default.
• W3119368969 cites W2096779174 @default.
• W3119368969 cites W2129544792 @default.
• W3119368969 cites W2168413248 @default.
• W3119368969 cites W2169764581 @default.
• W3119368969 cites W2248685894 @default.
• W3119368969 cites W2293385088 @default.
• W3119368969 cites W2508138131 @default.
• W3119368969 cites W2759558835 @default.
• W3119368969 cites W2766409877 @default.
• W3119368969 cites W2808322040 @default.
• W3119368969 cites W2901947642 @default.
• W3119368969 cites W2989603968 @default.
• W3119368969 cites W2991376628 @default.
• W3119368969 cites W2995877943 @default.
• W3119368969 cites W3013132071 @default.
• W3119368969 cites W3036758168 @default.
• W3119368969 cites W3099709575 @default.
• W3119368969 cites W3104443063 @default.
• W3119368969 cites W3105547317 @default.
• W3119368969 cites W4210913731 @default.
• W3119368969 doi "https://doi.org/10.1016/j.physletb.2021.136187" @default.
• W3119368969 hasPublicationYear "2021" @default.
• W3119368969 type Work @default.
• W3119368969 sameAs 3119368969 @default.
• W3119368969 citedByCount "6" @default.
• W3119368969 countsByYear W31193689692021 @default.
• W3119368969 countsByYear W31193689692022 @default.
• W3119368969 countsByYear W31193689692023 @default.
• W3119368969 crossrefType "journal-article" @default.
• W3119368969 hasAuthorship W3119368969A5001234060 @default.
• W3119368969 hasAuthorship W3119368969A5004609243 @default.
• W3119368969 hasAuthorship W3119368969A5041836791 @default.
• W3119368969 hasAuthorship W3119368969A5085815002 @default.
• W3119368969 hasBestOaLocation W31193689691 @default.
• W3119368969 hasConcept C109214941 @default.
• W3119368969 hasConcept C11413529 @default.
• W3119368969 hasConcept C118615104 @default.
• W3119368969 hasConcept C121332964 @default.
• W3119368969 hasConcept C157486923 @default.
• W3119368969 hasConcept C164155591 @default.
• W3119368969 hasConcept C168773769 @default.
• W3119368969 hasConcept C199360897 @default.
• W3119368969 hasConcept C2524010 @default.
• W3119368969 hasConcept C2776036281 @default.
• W3119368969 hasConcept C33332235 @default.
• W3119368969 hasConcept C33923547 @default.
• W3119368969 hasConcept C41008148 @default.
• W3119368969 hasConcept C54732982 @default.
• W3119368969 hasConcept C73586568 @default.
• W3119368969 hasConcept C96732373 @default.
• W3119368969 hasConcept C97137487 @default.
• W3119368969 hasConceptScore W3119368969C109214941 @default.
• W3119368969 hasConceptScore W3119368969C11413529 @default.
• W3119368969 hasConceptScore W3119368969C118615104 @default.
• W3119368969 hasConceptScore W3119368969C121332964 @default.
• W3119368969 hasConceptScore W3119368969C157486923 @default.
• W3119368969 hasConceptScore W3119368969C164155591 @default.
• W3119368969 hasConceptScore W3119368969C168773769 @default.
• W3119368969 hasConceptScore W3119368969C199360897 @default.
• W3119368969 hasConceptScore W3119368969C2524010 @default.

• next