Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308799003> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4308799003 abstract "Abstract We tackle the problem of reducing non-clausal MaxSAT and MinSAT to clausal MaxSAT and MinSAT. Our motivation is twofold: (i) the clausal form transformations used in SAT are unsound for MaxSAT and MinSAT, because they do not preserve the minimum or maximum number of unsatisfied clauses, and (ii) the state-of-the-art MaxSAT and MinSAT solvers require as input a multiset of clauses. The main contribution of this paper is the definition of three different cost-preserving transformations. Two transformations extend the usual equivalence preserving transformation used in SAT to MaxSAT and MinSAT. The third one extends the well-known Tseitin transformation. Furthermore, we report on an empirical comparison of the performance of the proposed transformations when solved with a state-of-the-art MaxSAT solver." @default.
- W4308799003 created "2022-11-15" @default.
- W4308799003 creator A5042836375 @default.
- W4308799003 creator A5061148416 @default.
- W4308799003 creator A5066236354 @default.
- W4308799003 creator A5085262547 @default.
- W4308799003 date "2022-11-11" @default.
- W4308799003 modified "2023-10-09" @default.
- W4308799003 title "Clausal Forms in MaxSAT and MinSAT" @default.
- W4308799003 cites W152472178 @default.
- W4308799003 cites W1765130219 @default.
- W4308799003 cites W1999997889 @default.
- W4308799003 cites W2009689138 @default.
- W4308799003 cites W2027945171 @default.
- W4308799003 cites W2043433560 @default.
- W4308799003 cites W2045794350 @default.
- W4308799003 cites W2244777522 @default.
- W4308799003 cites W2606163794 @default.
- W4308799003 cites W2621108739 @default.
- W4308799003 cites W2752537240 @default.
- W4308799003 cites W2961024031 @default.
- W4308799003 cites W2969747068 @default.
- W4308799003 cites W3038094279 @default.
- W4308799003 cites W3137140266 @default.
- W4308799003 cites W3141991053 @default.
- W4308799003 cites W3183746973 @default.
- W4308799003 cites W3206930845 @default.
- W4308799003 cites W39510960 @default.
- W4308799003 cites W4200370415 @default.
- W4308799003 cites W4245630182 @default.
- W4308799003 cites W4281633131 @default.
- W4308799003 cites W4285602394 @default.
- W4308799003 cites W4285605871 @default.
- W4308799003 cites W85615882 @default.
- W4308799003 doi "https://doi.org/10.1007/s44196-022-00143-z" @default.
- W4308799003 hasPublicationYear "2022" @default.
- W4308799003 type Work @default.
- W4308799003 citedByCount "0" @default.
- W4308799003 crossrefType "journal-article" @default.
- W4308799003 hasAuthorship W4308799003A5042836375 @default.
- W4308799003 hasAuthorship W4308799003A5061148416 @default.
- W4308799003 hasAuthorship W4308799003A5066236354 @default.
- W4308799003 hasAuthorship W4308799003A5085262547 @default.
- W4308799003 hasBestOaLocation W43087990031 @default.
- W4308799003 hasConcept C104317684 @default.
- W4308799003 hasConcept C111797529 @default.
- W4308799003 hasConcept C11413529 @default.
- W4308799003 hasConcept C118615104 @default.
- W4308799003 hasConcept C16221470 @default.
- W4308799003 hasConcept C168773769 @default.
- W4308799003 hasConcept C185592680 @default.
- W4308799003 hasConcept C187455244 @default.
- W4308799003 hasConcept C204241405 @default.
- W4308799003 hasConcept C2779623528 @default.
- W4308799003 hasConcept C2780069185 @default.
- W4308799003 hasConcept C33923547 @default.
- W4308799003 hasConcept C41008148 @default.
- W4308799003 hasConcept C48103436 @default.
- W4308799003 hasConcept C55493867 @default.
- W4308799003 hasConcept C6943359 @default.
- W4308799003 hasConceptScore W4308799003C104317684 @default.
- W4308799003 hasConceptScore W4308799003C111797529 @default.
- W4308799003 hasConceptScore W4308799003C11413529 @default.
- W4308799003 hasConceptScore W4308799003C118615104 @default.
- W4308799003 hasConceptScore W4308799003C16221470 @default.
- W4308799003 hasConceptScore W4308799003C168773769 @default.
- W4308799003 hasConceptScore W4308799003C185592680 @default.
- W4308799003 hasConceptScore W4308799003C187455244 @default.
- W4308799003 hasConceptScore W4308799003C204241405 @default.
- W4308799003 hasConceptScore W4308799003C2779623528 @default.
- W4308799003 hasConceptScore W4308799003C2780069185 @default.
- W4308799003 hasConceptScore W4308799003C33923547 @default.
- W4308799003 hasConceptScore W4308799003C41008148 @default.
- W4308799003 hasConceptScore W4308799003C48103436 @default.
- W4308799003 hasConceptScore W4308799003C55493867 @default.
- W4308799003 hasConceptScore W4308799003C6943359 @default.
- W4308799003 hasIssue "1" @default.
- W4308799003 hasLocation W43087990031 @default.
- W4308799003 hasLocation W43087990032 @default.
- W4308799003 hasLocation W43087990033 @default.
- W4308799003 hasLocation W43087990034 @default.
- W4308799003 hasOpenAccess W4308799003 @default.
- W4308799003 hasPrimaryLocation W43087990031 @default.
- W4308799003 hasRelatedWork W2014111643 @default.
- W4308799003 hasRelatedWork W2301405299 @default.
- W4308799003 hasRelatedWork W2394616262 @default.
- W4308799003 hasRelatedWork W2406837904 @default.
- W4308799003 hasRelatedWork W2408080066 @default.
- W4308799003 hasRelatedWork W2480084299 @default.
- W4308799003 hasRelatedWork W2571882453 @default.
- W4308799003 hasRelatedWork W3107131366 @default.
- W4308799003 hasRelatedWork W3152212242 @default.
- W4308799003 hasRelatedWork W4211028879 @default.
- W4308799003 hasVolume "15" @default.
- W4308799003 isParatext "false" @default.
- W4308799003 isRetracted "false" @default.
- W4308799003 workType "article" @default.