Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154352023> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2154352023 endingPage "618" @default.
- W2154352023 startingPage "606" @default.
- W2154352023 abstract "Max-SAT is the problem of finding an assignment minimizing the number of unsatisfied clauses in a CNF formula. We propose a resolution-like calculus for Max-SAT and prove its soundness and completeness. We also prove the completeness of some refinements of this calculus. From the completeness proof we derive an exact algorithm for Max-SAT and a time upper bound. We also define a weighted Max-SAT resolution-like rule, and show how to adapt the soundness and completeness proofs of the Max-SAT rule to the weighted Max-SAT rule. Finally, we give several particular Max-SAT problems that require an exponential number of steps of our Max-SAT rule to obtain the minimal number of unsatisfied clauses of the combinatorial principle. These results are based on the corresponding resolution lower bounds for those particular problems." @default.
- W2154352023 created "2016-06-24" @default.
- W2154352023 creator A5022258975 @default.
- W2154352023 creator A5027212883 @default.
- W2154352023 creator A5061148416 @default.
- W2154352023 date "2007-06-01" @default.
- W2154352023 modified "2023-10-02" @default.
- W2154352023 title "Resolution for Max-SAT" @default.
- W2154352023 cites W1581661059 @default.
- W2154352023 cites W1993837454 @default.
- W2154352023 cites W1999067488 @default.
- W2154352023 cites W2029688740 @default.
- W2154352023 cites W2044095368 @default.
- W2154352023 cites W2044632231 @default.
- W2154352023 cites W2044722214 @default.
- W2154352023 cites W2049645218 @default.
- W2154352023 cites W2062897452 @default.
- W2154352023 cites W2068190866 @default.
- W2154352023 cites W2069767473 @default.
- W2154352023 cites W2084384424 @default.
- W2154352023 cites W2097113315 @default.
- W2154352023 cites W2098022011 @default.
- W2154352023 cites W2140733721 @default.
- W2154352023 cites W2143313747 @default.
- W2154352023 cites W2154474334 @default.
- W2154352023 doi "https://doi.org/10.1016/j.artint.2007.03.001" @default.
- W2154352023 hasPublicationYear "2007" @default.
- W2154352023 type Work @default.
- W2154352023 sameAs 2154352023 @default.
- W2154352023 citedByCount "84" @default.
- W2154352023 countsByYear W21543520232012 @default.
- W2154352023 countsByYear W21543520232013 @default.
- W2154352023 countsByYear W21543520232014 @default.
- W2154352023 countsByYear W21543520232015 @default.
- W2154352023 countsByYear W21543520232016 @default.
- W2154352023 countsByYear W21543520232017 @default.
- W2154352023 countsByYear W21543520232018 @default.
- W2154352023 countsByYear W21543520232019 @default.
- W2154352023 countsByYear W21543520232020 @default.
- W2154352023 countsByYear W21543520232021 @default.
- W2154352023 countsByYear W21543520232022 @default.
- W2154352023 countsByYear W21543520232023 @default.
- W2154352023 crossrefType "journal-article" @default.
- W2154352023 hasAuthorship W2154352023A5022258975 @default.
- W2154352023 hasAuthorship W2154352023A5027212883 @default.
- W2154352023 hasAuthorship W2154352023A5061148416 @default.
- W2154352023 hasBestOaLocation W21543520231 @default.
- W2154352023 hasConcept C138268822 @default.
- W2154352023 hasConcept C154945302 @default.
- W2154352023 hasConcept C33923547 @default.
- W2154352023 hasConcept C41008148 @default.
- W2154352023 hasConceptScore W2154352023C138268822 @default.
- W2154352023 hasConceptScore W2154352023C154945302 @default.
- W2154352023 hasConceptScore W2154352023C33923547 @default.
- W2154352023 hasConceptScore W2154352023C41008148 @default.
- W2154352023 hasIssue "8-9" @default.
- W2154352023 hasLocation W21543520231 @default.
- W2154352023 hasOpenAccess W2154352023 @default.
- W2154352023 hasPrimaryLocation W21543520231 @default.
- W2154352023 hasRelatedWork W1987230525 @default.
- W2154352023 hasRelatedWork W2029736304 @default.
- W2154352023 hasRelatedWork W2033441461 @default.
- W2154352023 hasRelatedWork W2046743242 @default.
- W2154352023 hasRelatedWork W2064283329 @default.
- W2154352023 hasRelatedWork W2067402682 @default.
- W2154352023 hasRelatedWork W2379250586 @default.
- W2154352023 hasRelatedWork W2993154589 @default.
- W2154352023 hasRelatedWork W3107474891 @default.
- W2154352023 hasRelatedWork W59036389 @default.
- W2154352023 hasVolume "171" @default.
- W2154352023 isParatext "false" @default.
- W2154352023 isRetracted "false" @default.
- W2154352023 magId "2154352023" @default.
- W2154352023 workType "article" @default.