Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743159804> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2743159804 endingPage "473" @default.
- W2743159804 startingPage "464" @default.
- W2743159804 abstract "We present CNFgen, a generator of combinatorial benchmarks in DIMACS and OPB format. The proof complexity literature is a rich source not only of hard instances but also of instances that are theoretically easy but “extremal” in different ways, and therefore of potential interest in the context of SAT solving. Since most of these formulas appear not to be very well known in the SAT community, however, we propose CNFgen as a resource to make them readily available for solver development and evaluation. Many formulas studied in proof complexity are based on graphs, and CNFgen is also able to generate, parse and do basic manipulation of such objects. Furthermore, it includes a library cnfformula giving access to the functionality of CNFgen to Python programs." @default.
- W2743159804 created "2017-08-17" @default.
- W2743159804 creator A5003633660 @default.
- W2743159804 creator A5014450397 @default.
- W2743159804 creator A5024267515 @default.
- W2743159804 creator A5066418690 @default.
- W2743159804 date "2017-01-01" @default.
- W2743159804 modified "2023-10-16" @default.
- W2743159804 title "CNFgen: A Generator of Crafted Benchmarks" @default.
- W2743159804 cites W1605798759 @default.
- W2743159804 cites W1904183950 @default.
- W2743159804 cites W1985572324 @default.
- W2743159804 cites W1985602827 @default.
- W2743159804 cites W1988083342 @default.
- W2743159804 cites W1990932978 @default.
- W2743159804 cites W2021972008 @default.
- W2743159804 cites W2036265926 @default.
- W2743159804 cites W2038193643 @default.
- W2743159804 cites W2044560939 @default.
- W2743159804 cites W2045690379 @default.
- W2743159804 cites W2069767473 @default.
- W2743159804 cites W2071596701 @default.
- W2743159804 cites W2074834475 @default.
- W2743159804 cites W2076972272 @default.
- W2743159804 cites W2084029169 @default.
- W2743159804 cites W2088421560 @default.
- W2743159804 cites W2092508401 @default.
- W2743159804 cites W2098022011 @default.
- W2743159804 cites W2098642112 @default.
- W2743159804 cites W2117005051 @default.
- W2743159804 cites W2122782108 @default.
- W2743159804 cites W2126362918 @default.
- W2743159804 cites W2126420408 @default.
- W2743159804 cites W2129596464 @default.
- W2743159804 cites W2132489129 @default.
- W2743159804 cites W2134253979 @default.
- W2743159804 cites W2137378957 @default.
- W2743159804 cites W2142785340 @default.
- W2743159804 cites W2216693981 @default.
- W2743159804 cites W2322748670 @default.
- W2743159804 cites W2611365002 @default.
- W2743159804 cites W2810460597 @default.
- W2743159804 cites W2811247337 @default.
- W2743159804 cites W48421743 @default.
- W2743159804 cites W61552399 @default.
- W2743159804 doi "https://doi.org/10.1007/978-3-319-66263-3_30" @default.
- W2743159804 hasPublicationYear "2017" @default.
- W2743159804 type Work @default.
- W2743159804 sameAs 2743159804 @default.
- W2743159804 citedByCount "18" @default.
- W2743159804 countsByYear W27431598042018 @default.
- W2743159804 countsByYear W27431598042019 @default.
- W2743159804 countsByYear W27431598042020 @default.
- W2743159804 countsByYear W27431598042021 @default.
- W2743159804 countsByYear W27431598042022 @default.
- W2743159804 countsByYear W27431598042023 @default.
- W2743159804 crossrefType "book-chapter" @default.
- W2743159804 hasAuthorship W2743159804A5003633660 @default.
- W2743159804 hasAuthorship W2743159804A5014450397 @default.
- W2743159804 hasAuthorship W2743159804A5024267515 @default.
- W2743159804 hasAuthorship W2743159804A5066418690 @default.
- W2743159804 hasConcept C121332964 @default.
- W2743159804 hasConcept C163258240 @default.
- W2743159804 hasConcept C2780992000 @default.
- W2743159804 hasConcept C41008148 @default.
- W2743159804 hasConcept C62520636 @default.
- W2743159804 hasConceptScore W2743159804C121332964 @default.
- W2743159804 hasConceptScore W2743159804C163258240 @default.
- W2743159804 hasConceptScore W2743159804C2780992000 @default.
- W2743159804 hasConceptScore W2743159804C41008148 @default.
- W2743159804 hasConceptScore W2743159804C62520636 @default.
- W2743159804 hasLocation W27431598041 @default.
- W2743159804 hasOpenAccess W2743159804 @default.
- W2743159804 hasPrimaryLocation W27431598041 @default.
- W2743159804 hasRelatedWork W2000422883 @default.
- W2743159804 hasRelatedWork W2037317228 @default.
- W2743159804 hasRelatedWork W2099634336 @default.
- W2743159804 hasRelatedWork W2356629573 @default.
- W2743159804 hasRelatedWork W2375354128 @default.
- W2743159804 hasRelatedWork W2390459957 @default.
- W2743159804 hasRelatedWork W2746742710 @default.
- W2743159804 hasRelatedWork W3200756997 @default.
- W2743159804 hasRelatedWork W4311909815 @default.
- W2743159804 hasRelatedWork W108004069 @default.
- W2743159804 isParatext "false" @default.
- W2743159804 isRetracted "false" @default.
- W2743159804 magId "2743159804" @default.
- W2743159804 workType "book-chapter" @default.