Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539228153> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1539228153 endingPage "2339" @default.
- W1539228153 startingPage "2334" @default.
- W1539228153 abstract "In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, which are not equivalent but Λ-equivalent, are proposed, and we show that Λ-equivalent rules are also sound. As an example, we show how to exploit inference rules to achieve a new lower bound function for a MAX-2-SAT solver. Our new function is admissible and consistently better than the well-known lower bound function. Based on the study of inference rules, we implement an efficient solver and the experimental results demonstrate that our solver outperforms the most efficient solver that has been implemented very recently [Heras and Larrosa, 2006], especially for large instances." @default.
- W1539228153 created "2016-06-24" @default.
- W1539228153 creator A5020700381 @default.
- W1539228153 creator A5037325282 @default.
- W1539228153 date "2007-01-06" @default.
- W1539228153 modified "2023-09-30" @default.
- W1539228153 title "Exploiting inference rules to compute lower bounds for MAX-SAT solving" @default.
- W1539228153 cites W1506775176 @default.
- W1539228153 cites W1530962882 @default.
- W1539228153 cites W1538224303 @default.
- W1539228153 cites W156070842 @default.
- W1539228153 cites W1568318479 @default.
- W1539228153 cites W1581661059 @default.
- W1539228153 cites W1793843726 @default.
- W1539228153 cites W1896404939 @default.
- W1539228153 cites W2029688740 @default.
- W1539228153 cites W203133358 @default.
- W1539228153 cites W2036185701 @default.
- W1539228153 cites W2057361103 @default.
- W1539228153 cites W2081692349 @default.
- W1539228153 cites W2085301456 @default.
- W1539228153 cites W2085826829 @default.
- W1539228153 cites W2107356010 @default.
- W1539228153 cites W2123757087 @default.
- W1539228153 cites W2126446661 @default.
- W1539228153 cites W2154593562 @default.
- W1539228153 hasPublicationYear "2007" @default.
- W1539228153 type Work @default.
- W1539228153 sameAs 1539228153 @default.
- W1539228153 citedByCount "14" @default.
- W1539228153 countsByYear W15392281532012 @default.
- W1539228153 countsByYear W15392281532013 @default.
- W1539228153 countsByYear W15392281532015 @default.
- W1539228153 crossrefType "proceedings-article" @default.
- W1539228153 hasAuthorship W1539228153A5020700381 @default.
- W1539228153 hasAuthorship W1539228153A5037325282 @default.
- W1539228153 hasConcept C11413529 @default.
- W1539228153 hasConcept C126255220 @default.
- W1539228153 hasConcept C134306372 @default.
- W1539228153 hasConcept C14036430 @default.
- W1539228153 hasConcept C154945302 @default.
- W1539228153 hasConcept C165696696 @default.
- W1539228153 hasConcept C2776214188 @default.
- W1539228153 hasConcept C2778770139 @default.
- W1539228153 hasConcept C33923547 @default.
- W1539228153 hasConcept C3746660 @default.
- W1539228153 hasConcept C38652104 @default.
- W1539228153 hasConcept C41008148 @default.
- W1539228153 hasConcept C6943359 @default.
- W1539228153 hasConcept C77553402 @default.
- W1539228153 hasConcept C78458016 @default.
- W1539228153 hasConcept C80444323 @default.
- W1539228153 hasConcept C86803240 @default.
- W1539228153 hasConceptScore W1539228153C11413529 @default.
- W1539228153 hasConceptScore W1539228153C126255220 @default.
- W1539228153 hasConceptScore W1539228153C134306372 @default.
- W1539228153 hasConceptScore W1539228153C14036430 @default.
- W1539228153 hasConceptScore W1539228153C154945302 @default.
- W1539228153 hasConceptScore W1539228153C165696696 @default.
- W1539228153 hasConceptScore W1539228153C2776214188 @default.
- W1539228153 hasConceptScore W1539228153C2778770139 @default.
- W1539228153 hasConceptScore W1539228153C33923547 @default.
- W1539228153 hasConceptScore W1539228153C3746660 @default.
- W1539228153 hasConceptScore W1539228153C38652104 @default.
- W1539228153 hasConceptScore W1539228153C41008148 @default.
- W1539228153 hasConceptScore W1539228153C6943359 @default.
- W1539228153 hasConceptScore W1539228153C77553402 @default.
- W1539228153 hasConceptScore W1539228153C78458016 @default.
- W1539228153 hasConceptScore W1539228153C80444323 @default.
- W1539228153 hasConceptScore W1539228153C86803240 @default.
- W1539228153 hasLocation W15392281531 @default.
- W1539228153 hasOpenAccess W1539228153 @default.
- W1539228153 hasPrimaryLocation W15392281531 @default.
- W1539228153 hasRelatedWork W111132822 @default.
- W1539228153 hasRelatedWork W1496690584 @default.
- W1539228153 hasRelatedWork W1509398350 @default.
- W1539228153 hasRelatedWork W1524741427 @default.
- W1539228153 hasRelatedWork W1531103278 @default.
- W1539228153 hasRelatedWork W1559357575 @default.
- W1539228153 hasRelatedWork W1578612406 @default.
- W1539228153 hasRelatedWork W1607011516 @default.
- W1539228153 hasRelatedWork W1775352280 @default.
- W1539228153 hasRelatedWork W2047240223 @default.
- W1539228153 hasRelatedWork W2098984274 @default.
- W1539228153 hasRelatedWork W2100609826 @default.
- W1539228153 hasRelatedWork W2116758077 @default.
- W1539228153 hasRelatedWork W2118943303 @default.
- W1539228153 hasRelatedWork W2121957284 @default.
- W1539228153 hasRelatedWork W2128272523 @default.
- W1539228153 hasRelatedWork W2140138589 @default.
- W1539228153 hasRelatedWork W2171802366 @default.
- W1539228153 hasRelatedWork W5815757 @default.
- W1539228153 hasRelatedWork W78552530 @default.
- W1539228153 isParatext "false" @default.
- W1539228153 isRetracted "false" @default.
- W1539228153 magId "1539228153" @default.
- W1539228153 workType "article" @default.