Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585759996> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1585759996 abstract "We define new encodings from Max-CSP into Partial Max-SAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality constraint ≤ 1 (x 1 , ...,x n ). They have fewer clauses than the existing encodings, and the experimental results indicate that they have a better performance profile." @default.
- W1585759996 created "2016-06-24" @default.
- W1585759996 creator A5058622165 @default.
- W1585759996 creator A5061148416 @default.
- W1585759996 creator A5065186307 @default.
- W1585759996 creator A5070784397 @default.
- W1585759996 date "2009-01-01" @default.
- W1585759996 modified "2023-09-23" @default.
- W1585759996 title "Sequential Encodings from Max-CSP into Partial Max-SAT" @default.
- W1585759996 cites W1604110421 @default.
- W1585759996 cites W1847027834 @default.
- W1585759996 cites W2081396056 @default.
- W1585759996 cites W2100609826 @default.
- W1585759996 cites W2118406528 @default.
- W1585759996 cites W2164344646 @default.
- W1585759996 doi "https://doi.org/10.1007/978-3-642-02777-2_17" @default.
- W1585759996 hasPublicationYear "2009" @default.
- W1585759996 type Work @default.
- W1585759996 sameAs 1585759996 @default.
- W1585759996 citedByCount "7" @default.
- W1585759996 countsByYear W15857599962012 @default.
- W1585759996 countsByYear W15857599962013 @default.
- W1585759996 countsByYear W15857599962015 @default.
- W1585759996 countsByYear W15857599962017 @default.
- W1585759996 crossrefType "book-chapter" @default.
- W1585759996 hasAuthorship W1585759996A5058622165 @default.
- W1585759996 hasAuthorship W1585759996A5061148416 @default.
- W1585759996 hasAuthorship W1585759996A5065186307 @default.
- W1585759996 hasAuthorship W1585759996A5070784397 @default.
- W1585759996 hasBestOaLocation W15857599962 @default.
- W1585759996 hasConcept C11413529 @default.
- W1585759996 hasConcept C114614502 @default.
- W1585759996 hasConcept C118615104 @default.
- W1585759996 hasConcept C124101348 @default.
- W1585759996 hasConcept C125411270 @default.
- W1585759996 hasConcept C154945302 @default.
- W1585759996 hasConcept C199622910 @default.
- W1585759996 hasConcept C2524010 @default.
- W1585759996 hasConcept C2776036281 @default.
- W1585759996 hasConcept C33923547 @default.
- W1585759996 hasConcept C41008148 @default.
- W1585759996 hasConcept C44616089 @default.
- W1585759996 hasConcept C49937458 @default.
- W1585759996 hasConcept C80444323 @default.
- W1585759996 hasConcept C87117476 @default.
- W1585759996 hasConceptScore W1585759996C11413529 @default.
- W1585759996 hasConceptScore W1585759996C114614502 @default.
- W1585759996 hasConceptScore W1585759996C118615104 @default.
- W1585759996 hasConceptScore W1585759996C124101348 @default.
- W1585759996 hasConceptScore W1585759996C125411270 @default.
- W1585759996 hasConceptScore W1585759996C154945302 @default.
- W1585759996 hasConceptScore W1585759996C199622910 @default.
- W1585759996 hasConceptScore W1585759996C2524010 @default.
- W1585759996 hasConceptScore W1585759996C2776036281 @default.
- W1585759996 hasConceptScore W1585759996C33923547 @default.
- W1585759996 hasConceptScore W1585759996C41008148 @default.
- W1585759996 hasConceptScore W1585759996C44616089 @default.
- W1585759996 hasConceptScore W1585759996C49937458 @default.
- W1585759996 hasConceptScore W1585759996C80444323 @default.
- W1585759996 hasConceptScore W1585759996C87117476 @default.
- W1585759996 hasLocation W15857599961 @default.
- W1585759996 hasLocation W15857599962 @default.
- W1585759996 hasOpenAccess W1585759996 @default.
- W1585759996 hasPrimaryLocation W15857599961 @default.
- W1585759996 hasRelatedWork W1479859531 @default.
- W1585759996 hasRelatedWork W1488192684 @default.
- W1585759996 hasRelatedWork W1531414918 @default.
- W1585759996 hasRelatedWork W1550483759 @default.
- W1585759996 hasRelatedWork W1604110421 @default.
- W1585759996 hasRelatedWork W1841339196 @default.
- W1585759996 hasRelatedWork W186167798 @default.
- W1585759996 hasRelatedWork W192078665 @default.
- W1585759996 hasRelatedWork W2002425132 @default.
- W1585759996 hasRelatedWork W2012413542 @default.
- W1585759996 hasRelatedWork W2095851248 @default.
- W1585759996 hasRelatedWork W2100609826 @default.
- W1585759996 hasRelatedWork W2118406528 @default.
- W1585759996 hasRelatedWork W2150984748 @default.
- W1585759996 hasRelatedWork W2218364719 @default.
- W1585759996 hasRelatedWork W2480334143 @default.
- W1585759996 hasRelatedWork W2494815764 @default.
- W1585759996 hasRelatedWork W2795433291 @default.
- W1585759996 hasRelatedWork W2963190649 @default.
- W1585759996 hasRelatedWork W774584138 @default.
- W1585759996 isParatext "false" @default.
- W1585759996 isRetracted "false" @default.
- W1585759996 magId "1585759996" @default.
- W1585759996 workType "book-chapter" @default.