Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366452016> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4366452016 endingPage "191" @default.
- W4366452016 startingPage "173" @default.
- W4366452016 abstract "Abstract Constraint programming systems allow a diverse range of problems to be modelled and solved. Most systems require the user to learn a new constraint programming language, which presents a barrier to novice and casual users. To address this problem, we present the CoPTIC constraint programming system, which allows the user to write a model in the well-known programming language C, augmented with a simple API to support using a guess-and-check paradigm. The resulting model is at most as complex as an ordinary C program that uses naive brute force to solve the same problem. CoPTIC uses the bounded model checker CBMC to translate the model into a SAT instance, which is solved using the SAT solver CaDiCaL. We show that, while this is less efficient than a direct translation from a dedicated constraint language into SAT, performance remains adequate for casual users. CoPTIC supports constraint satisfaction and optimisation problems, as well as enumeration of multiple solutions. After a solution has been found, CoPTIC allows the model to be run with the solution; this makes it easy to debug a model, or to print the solution in any desired format." @default.
- W4366452016 created "2023-04-22" @default.
- W4366452016 creator A5018150695 @default.
- W4366452016 date "2023-01-01" @default.
- W4366452016 modified "2023-10-14" @default.
- W4366452016 title "CoPTIC: Constraint Programming Translated Into C" @default.
- W4366452016 cites W121297392 @default.
- W4366452016 cites W1518705996 @default.
- W4366452016 cites W1592492435 @default.
- W4366452016 cites W1946570941 @default.
- W4366452016 cites W2023331514 @default.
- W4366452016 cites W2129538349 @default.
- W4366452016 cites W2150824430 @default.
- W4366452016 cites W2159875930 @default.
- W4366452016 cites W2400555644 @default.
- W4366452016 cites W2406720120 @default.
- W4366452016 cites W2750143525 @default.
- W4366452016 cites W2805419234 @default.
- W4366452016 cites W2949558051 @default.
- W4366452016 cites W3002945688 @default.
- W4366452016 cites W3004630888 @default.
- W4366452016 cites W3083663179 @default.
- W4366452016 cites W4294790340 @default.
- W4366452016 cites W4568814 @default.
- W4366452016 doi "https://doi.org/10.1007/978-3-031-30820-8_13" @default.
- W4366452016 hasPublicationYear "2023" @default.
- W4366452016 type Work @default.
- W4366452016 citedByCount "0" @default.
- W4366452016 crossrefType "book-chapter" @default.
- W4366452016 hasAuthorship W4366452016A5018150695 @default.
- W4366452016 hasBestOaLocation W43664520161 @default.
- W4366452016 hasConcept C111472728 @default.
- W4366452016 hasConcept C126255220 @default.
- W4366452016 hasConcept C137631369 @default.
- W4366452016 hasConcept C138885662 @default.
- W4366452016 hasConcept C154945302 @default.
- W4366452016 hasConcept C159985019 @default.
- W4366452016 hasConcept C168065819 @default.
- W4366452016 hasConcept C173404611 @default.
- W4366452016 hasConcept C176783269 @default.
- W4366452016 hasConcept C192562407 @default.
- W4366452016 hasConcept C199360897 @default.
- W4366452016 hasConcept C199622910 @default.
- W4366452016 hasConcept C204323151 @default.
- W4366452016 hasConcept C2524010 @default.
- W4366452016 hasConcept C2776036281 @default.
- W4366452016 hasConcept C2778770139 @default.
- W4366452016 hasConcept C2780586882 @default.
- W4366452016 hasConcept C33923547 @default.
- W4366452016 hasConcept C41008148 @default.
- W4366452016 hasConcept C44616089 @default.
- W4366452016 hasConcept C49937458 @default.
- W4366452016 hasConcept C80444323 @default.
- W4366452016 hasConceptScore W4366452016C111472728 @default.
- W4366452016 hasConceptScore W4366452016C126255220 @default.
- W4366452016 hasConceptScore W4366452016C137631369 @default.
- W4366452016 hasConceptScore W4366452016C138885662 @default.
- W4366452016 hasConceptScore W4366452016C154945302 @default.
- W4366452016 hasConceptScore W4366452016C159985019 @default.
- W4366452016 hasConceptScore W4366452016C168065819 @default.
- W4366452016 hasConceptScore W4366452016C173404611 @default.
- W4366452016 hasConceptScore W4366452016C176783269 @default.
- W4366452016 hasConceptScore W4366452016C192562407 @default.
- W4366452016 hasConceptScore W4366452016C199360897 @default.
- W4366452016 hasConceptScore W4366452016C199622910 @default.
- W4366452016 hasConceptScore W4366452016C204323151 @default.
- W4366452016 hasConceptScore W4366452016C2524010 @default.
- W4366452016 hasConceptScore W4366452016C2776036281 @default.
- W4366452016 hasConceptScore W4366452016C2778770139 @default.
- W4366452016 hasConceptScore W4366452016C2780586882 @default.
- W4366452016 hasConceptScore W4366452016C33923547 @default.
- W4366452016 hasConceptScore W4366452016C41008148 @default.
- W4366452016 hasConceptScore W4366452016C44616089 @default.
- W4366452016 hasConceptScore W4366452016C49937458 @default.
- W4366452016 hasConceptScore W4366452016C80444323 @default.
- W4366452016 hasLocation W43664520161 @default.
- W4366452016 hasOpenAccess W4366452016 @default.
- W4366452016 hasPrimaryLocation W43664520161 @default.
- W4366452016 hasRelatedWork W1486916474 @default.
- W4366452016 hasRelatedWork W1581054293 @default.
- W4366452016 hasRelatedWork W1971069708 @default.
- W4366452016 hasRelatedWork W2053942471 @default.
- W4366452016 hasRelatedWork W2097415053 @default.
- W4366452016 hasRelatedWork W2115307993 @default.
- W4366452016 hasRelatedWork W2338461122 @default.
- W4366452016 hasRelatedWork W2365854838 @default.
- W4366452016 hasRelatedWork W4300784158 @default.
- W4366452016 hasRelatedWork W1770162292 @default.
- W4366452016 isParatext "false" @default.
- W4366452016 isRetracted "false" @default.
- W4366452016 workType "book-chapter" @default.