Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501676811> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1501676811 endingPage "225" @default.
- W1501676811 startingPage "211" @default.
- W1501676811 abstract "We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its structure until it is tractable for exact algorithms. Second, we compensate for the relaxation by introducing auxiliary weights. More specifically, we relax equivalence constraints from a given Max-SAT problem, which we compensate for by recovering a weaker notion of equivalence. We provide a simple algorithm for finding these approximations, that is based on iterating over relaxed constraints, compensating for them one-by-one. We show that the resulting Max-SAT instances have certain interesting properties, both theoretical and empirical." @default.
- W1501676811 created "2016-06-24" @default.
- W1501676811 creator A5022534880 @default.
- W1501676811 creator A5027252816 @default.
- W1501676811 creator A5040084346 @default.
- W1501676811 date "2009-01-01" @default.
- W1501676811 modified "2023-09-23" @default.
- W1501676811 title "Approximating Weighted Max-SAT Problems by Compensating for Relaxations" @default.
- W1501676811 cites W1496690584 @default.
- W1501676811 cites W1501676811 @default.
- W1501676811 cites W1548827561 @default.
- W1501676811 cites W180925943 @default.
- W1501676811 cites W1986660301 @default.
- W1501676811 cites W2010438070 @default.
- W1501676811 cites W2057299863 @default.
- W1501676811 cites W2112937598 @default.
- W1501676811 cites W2140789035 @default.
- W1501676811 cites W3099451540 @default.
- W1501676811 doi "https://doi.org/10.1007/978-3-642-04244-7_19" @default.
- W1501676811 hasPublicationYear "2009" @default.
- W1501676811 type Work @default.
- W1501676811 sameAs 1501676811 @default.
- W1501676811 citedByCount "12" @default.
- W1501676811 countsByYear W15016768112013 @default.
- W1501676811 countsByYear W15016768112014 @default.
- W1501676811 countsByYear W15016768112015 @default.
- W1501676811 countsByYear W15016768112017 @default.
- W1501676811 countsByYear W15016768112019 @default.
- W1501676811 crossrefType "book-chapter" @default.
- W1501676811 hasAuthorship W1501676811A5022534880 @default.
- W1501676811 hasAuthorship W1501676811A5027252816 @default.
- W1501676811 hasAuthorship W1501676811A5040084346 @default.
- W1501676811 hasConcept C111472728 @default.
- W1501676811 hasConcept C11413529 @default.
- W1501676811 hasConcept C114614502 @default.
- W1501676811 hasConcept C118615104 @default.
- W1501676811 hasConcept C126255220 @default.
- W1501676811 hasConcept C138885662 @default.
- W1501676811 hasConcept C15744967 @default.
- W1501676811 hasConcept C2776029896 @default.
- W1501676811 hasConcept C2780069185 @default.
- W1501676811 hasConcept C2780586882 @default.
- W1501676811 hasConcept C28826006 @default.
- W1501676811 hasConcept C33923547 @default.
- W1501676811 hasConcept C77805123 @default.
- W1501676811 hasConceptScore W1501676811C111472728 @default.
- W1501676811 hasConceptScore W1501676811C11413529 @default.
- W1501676811 hasConceptScore W1501676811C114614502 @default.
- W1501676811 hasConceptScore W1501676811C118615104 @default.
- W1501676811 hasConceptScore W1501676811C126255220 @default.
- W1501676811 hasConceptScore W1501676811C138885662 @default.
- W1501676811 hasConceptScore W1501676811C15744967 @default.
- W1501676811 hasConceptScore W1501676811C2776029896 @default.
- W1501676811 hasConceptScore W1501676811C2780069185 @default.
- W1501676811 hasConceptScore W1501676811C2780586882 @default.
- W1501676811 hasConceptScore W1501676811C28826006 @default.
- W1501676811 hasConceptScore W1501676811C33923547 @default.
- W1501676811 hasConceptScore W1501676811C77805123 @default.
- W1501676811 hasLocation W15016768111 @default.
- W1501676811 hasOpenAccess W1501676811 @default.
- W1501676811 hasPrimaryLocation W15016768111 @default.
- W1501676811 hasRelatedWork W1034061887 @default.
- W1501676811 hasRelatedWork W1887191277 @default.
- W1501676811 hasRelatedWork W1978042415 @default.
- W1501676811 hasRelatedWork W2018206907 @default.
- W1501676811 hasRelatedWork W2018619927 @default.
- W1501676811 hasRelatedWork W2054072800 @default.
- W1501676811 hasRelatedWork W2334954212 @default.
- W1501676811 hasRelatedWork W2800834205 @default.
- W1501676811 hasRelatedWork W2964285269 @default.
- W1501676811 hasRelatedWork W4235288607 @default.
- W1501676811 isParatext "false" @default.
- W1501676811 isRetracted "false" @default.
- W1501676811 magId "1501676811" @default.
- W1501676811 workType "book-chapter" @default.