Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247421705> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2247421705 abstract "We describe an exact inference-based algorithm for the MinSAT problem. Given a multiset of clauses θ, the algorithm derives as many empty clauses as the maximum number of clauses that can be falsified in θ by applying finitely many times an inference rule, and returns an optimal assignment. We prove the correctness of the algorithm, describe how it can be extended to deal with weighted Min-SAT and weighted partial MinSAT instances, analyze the differences between the MaxSAT and MinSAT inference schemes, and define and empirically evaluate the MinSAT Pure Literal Rule." @default.
- W2247421705 created "2016-06-24" @default.
- W2247421705 creator A5038680735 @default.
- W2247421705 creator A5061148416 @default.
- W2247421705 date "2015-01-01" @default.
- W2247421705 modified "2023-09-23" @default.
- W2247421705 title "An Exact Inference Scheme for MinSAT" @default.
- W2247421705 cites W111132822 @default.
- W2247421705 cites W133702756 @default.
- W2247421705 cites W153078869 @default.
- W2247421705 cites W1596863163 @default.
- W2247421705 cites W165188274 @default.
- W2247421705 cites W186167798 @default.
- W2247421705 cites W193033351 @default.
- W2247421705 cites W1951141208 @default.
- W2247421705 cites W1966214922 @default.
- W2247421705 cites W2027945171 @default.
- W2247421705 cites W2029958553 @default.
- W2247421705 cites W2030702117 @default.
- W2247421705 cites W2036285035 @default.
- W2247421705 cites W2045794350 @default.
- W2247421705 cites W2085380335 @default.
- W2247421705 cites W2121957284 @default.
- W2247421705 cites W2140138589 @default.
- W2247421705 cites W2150931156 @default.
- W2247421705 cites W2154352023 @default.
- W2247421705 cites W2162181360 @default.
- W2247421705 cites W2218364719 @default.
- W2247421705 cites W2395675633 @default.
- W2247421705 cites W2402431820 @default.
- W2247421705 hasPublicationYear "2015" @default.
- W2247421705 type Work @default.
- W2247421705 sameAs 2247421705 @default.
- W2247421705 citedByCount "0" @default.
- W2247421705 crossrefType "proceedings-article" @default.
- W2247421705 hasAuthorship W2247421705A5038680735 @default.
- W2247421705 hasAuthorship W2247421705A5061148416 @default.
- W2247421705 hasBestOaLocation W22474217052 @default.
- W2247421705 hasConcept C134306372 @default.
- W2247421705 hasConcept C154945302 @default.
- W2247421705 hasConcept C2776214188 @default.
- W2247421705 hasConcept C33923547 @default.
- W2247421705 hasConcept C41008148 @default.
- W2247421705 hasConcept C77618280 @default.
- W2247421705 hasConceptScore W2247421705C134306372 @default.
- W2247421705 hasConceptScore W2247421705C154945302 @default.
- W2247421705 hasConceptScore W2247421705C2776214188 @default.
- W2247421705 hasConceptScore W2247421705C33923547 @default.
- W2247421705 hasConceptScore W2247421705C41008148 @default.
- W2247421705 hasConceptScore W2247421705C77618280 @default.
- W2247421705 hasLocation W22474217051 @default.
- W2247421705 hasLocation W22474217052 @default.
- W2247421705 hasOpenAccess W2247421705 @default.
- W2247421705 hasPrimaryLocation W22474217051 @default.
- W2247421705 hasRelatedWork W1521353230 @default.
- W2247421705 hasRelatedWork W1596397513 @default.
- W2247421705 hasRelatedWork W2051388053 @default.
- W2247421705 hasRelatedWork W2105538080 @default.
- W2247421705 hasRelatedWork W2211820962 @default.
- W2247421705 hasRelatedWork W2373250155 @default.
- W2247421705 hasRelatedWork W2394099118 @default.
- W2247421705 hasRelatedWork W2531206168 @default.
- W2247421705 hasRelatedWork W2607069708 @default.
- W2247421705 hasRelatedWork W4280566261 @default.
- W2247421705 isParatext "false" @default.
- W2247421705 isRetracted "false" @default.
- W2247421705 magId "2247421705" @default.
- W2247421705 workType "article" @default.