Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955132589> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2955132589 endingPage "249" @default.
- W2955132589 startingPage "239" @default.
- W2955132589 abstract "The proof system of Dual-Rail MaxSAT (DRMaxSAT) was recently shown to be capable of efficiently refuting families of formulas that are well-known to be hard for resolution, concretely when the MaxSAT solving approach is either MaxSAT resolution or core-guided algorithms. Moreover, DRMaxSAT based on MaxSAT resolution was shown to be stronger than general resolution. Nevertheless, existing experimental evidence indicates that the use of MaxSAT algorithms based on the computation of minimum hitting sets (MHSes), i.e. MaxHS-like algorithms, are as effective, and often more effective, than core-guided algorithms and algorithms based on MaxSAT resolution. This paper investigates the use of MaxHS-like algorithms in the DRMaxSAT proof system. Concretely, the paper proves that the propositional encoding of the pigenonhole and doubled pigenonhole principles have polynomial time refutations when the DRMaxSAT proof system uses a MaxHS-like algorithm." @default.
- W2955132589 created "2019-07-12" @default.
- W2955132589 creator A5002246957 @default.
- W2955132589 creator A5022258975 @default.
- W2955132589 creator A5051305025 @default.
- W2955132589 creator A5063586825 @default.
- W2955132589 creator A5067079243 @default.
- W2955132589 date "2019-01-01" @default.
- W2955132589 modified "2023-10-01" @default.
- W2955132589 title "DRMaxSAT with MaxHS: First Contact" @default.
- W2955132589 cites W116541839 @default.
- W2955132589 cites W134459671 @default.
- W2955132589 cites W139194355 @default.
- W2955132589 cites W139322340 @default.
- W2955132589 cites W139740642 @default.
- W2955132589 cites W1531103278 @default.
- W2955132589 cites W1988083342 @default.
- W2955132589 cites W2012022843 @default.
- W2955132589 cites W2029958553 @default.
- W2955132589 cites W2058449564 @default.
- W2955132589 cites W2071319337 @default.
- W2955132589 cites W2100609826 @default.
- W2955132589 cites W2108309071 @default.
- W2955132589 cites W2110210775 @default.
- W2955132589 cites W2121957284 @default.
- W2955132589 cites W2154352023 @default.
- W2955132589 cites W2158860049 @default.
- W2955132589 cites W2185680923 @default.
- W2955132589 cites W2481363456 @default.
- W2955132589 cites W2746742238 @default.
- W2955132589 cites W2789103885 @default.
- W2955132589 cites W2811000330 @default.
- W2955132589 cites W2963321374 @default.
- W2955132589 cites W3104044769 @default.
- W2955132589 cites W37002918 @default.
- W2955132589 cites W5815757 @default.
- W2955132589 doi "https://doi.org/10.1007/978-3-030-24258-9_17" @default.
- W2955132589 hasPublicationYear "2019" @default.
- W2955132589 type Work @default.
- W2955132589 sameAs 2955132589 @default.
- W2955132589 citedByCount "5" @default.
- W2955132589 countsByYear W29551325892018 @default.
- W2955132589 countsByYear W29551325892020 @default.
- W2955132589 countsByYear W29551325892022 @default.
- W2955132589 countsByYear W29551325892023 @default.
- W2955132589 crossrefType "book-chapter" @default.
- W2955132589 hasAuthorship W2955132589A5002246957 @default.
- W2955132589 hasAuthorship W2955132589A5022258975 @default.
- W2955132589 hasAuthorship W2955132589A5051305025 @default.
- W2955132589 hasAuthorship W2955132589A5063586825 @default.
- W2955132589 hasAuthorship W2955132589A5067079243 @default.
- W2955132589 hasConcept C121684516 @default.
- W2955132589 hasConcept C41008148 @default.
- W2955132589 hasConceptScore W2955132589C121684516 @default.
- W2955132589 hasConceptScore W2955132589C41008148 @default.
- W2955132589 hasLocation W29551325891 @default.
- W2955132589 hasOpenAccess W2955132589 @default.
- W2955132589 hasPrimaryLocation W29551325891 @default.
- W2955132589 hasRelatedWork W2135024282 @default.
- W2955132589 hasRelatedWork W2361017481 @default.
- W2955132589 hasRelatedWork W2385729804 @default.
- W2955132589 hasRelatedWork W2386067591 @default.
- W2955132589 hasRelatedWork W2387604983 @default.
- W2955132589 hasRelatedWork W2643419842 @default.
- W2955132589 hasRelatedWork W3173443136 @default.
- W2955132589 hasRelatedWork W4214924096 @default.
- W2955132589 hasRelatedWork W4235112656 @default.
- W2955132589 hasRelatedWork W4246418678 @default.
- W2955132589 isParatext "false" @default.
- W2955132589 isRetracted "false" @default.
- W2955132589 magId "2955132589" @default.
- W2955132589 workType "book-chapter" @default.