Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537371013> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1537371013 abstract "Local search algorithms for satisfiability testing are still the best methods for a large number of problems, despite tremendous progresses observed on complete search algorithms over the last few years. However, their intrinsic limit does not allow them to address UNSAT problems. Ten years ago, this question challenged the community without any answer: was it possible to use local search algorithm for UNSAT formulae? We propose here a first approach addressing this issue, that can beat the best resolution-based completemethods. We define the landscape of the search by approximating the number of filtered clauses by resolution proof. Furthermore, we add high-level reasoning mechanism, based on Extended Resolution and Unit Propagation Look-Ahead to make this new and challenging approach possible. Our new algorithm also tends to be the first step on two other challenging problems: obtaining short proofs for UNSAT problems and build a real local-search algorithm for QBF." @default.
- W1537371013 created "2016-06-24" @default.
- W1537371013 creator A5025996497 @default.
- W1537371013 creator A5063062178 @default.
- W1537371013 date "2007-01-01" @default.
- W1537371013 modified "2023-10-18" @default.
- W1537371013 title "GUNSAT : a greedy local search algorithm for unsatisfiability" @default.
- W1537371013 cites W119554023 @default.
- W1537371013 cites W142625004 @default.
- W1537371013 cites W1481682630 @default.
- W1537371013 cites W1505068091 @default.
- W1537371013 cites W1520210297 @default.
- W1537371013 cites W1521172087 @default.
- W1537371013 cites W1552098422 @default.
- W1537371013 cites W1591939288 @default.
- W1537371013 cites W1599103728 @default.
- W1537371013 cites W1667614912 @default.
- W1537371013 cites W1950282396 @default.
- W1537371013 cites W1973267383 @default.
- W1537371013 cites W1999823208 @default.
- W1537371013 cites W2057361103 @default.
- W1537371013 cites W2062897452 @default.
- W1537371013 cites W2069767473 @default.
- W1537371013 cites W2098022011 @default.
- W1537371013 cites W2100738443 @default.
- W1537371013 cites W2126420408 @default.
- W1537371013 cites W2133527541 @default.
- W1537371013 cites W2142785340 @default.
- W1537371013 cites W2400512070 @default.
- W1537371013 cites W30950413 @default.
- W1537371013 hasPublicationYear "2007" @default.
- W1537371013 type Work @default.
- W1537371013 sameAs 1537371013 @default.
- W1537371013 citedByCount "12" @default.
- W1537371013 countsByYear W15373710132012 @default.
- W1537371013 countsByYear W15373710132013 @default.
- W1537371013 countsByYear W15373710132014 @default.
- W1537371013 countsByYear W15373710132015 @default.
- W1537371013 crossrefType "proceedings-article" @default.
- W1537371013 hasAuthorship W1537371013A5025996497 @default.
- W1537371013 hasAuthorship W1537371013A5063062178 @default.
- W1537371013 hasConcept C106516650 @default.
- W1537371013 hasConcept C11413529 @default.
- W1537371013 hasConcept C126221529 @default.
- W1537371013 hasConcept C135320971 @default.
- W1537371013 hasConcept C41008148 @default.
- W1537371013 hasConcept C51823790 @default.
- W1537371013 hasConcept C80444323 @default.
- W1537371013 hasConceptScore W1537371013C106516650 @default.
- W1537371013 hasConceptScore W1537371013C11413529 @default.
- W1537371013 hasConceptScore W1537371013C126221529 @default.
- W1537371013 hasConceptScore W1537371013C135320971 @default.
- W1537371013 hasConceptScore W1537371013C41008148 @default.
- W1537371013 hasConceptScore W1537371013C51823790 @default.
- W1537371013 hasConceptScore W1537371013C80444323 @default.
- W1537371013 hasLocation W15373710131 @default.
- W1537371013 hasLocation W15373710132 @default.
- W1537371013 hasOpenAccess W1537371013 @default.
- W1537371013 hasPrimaryLocation W15373710131 @default.
- W1537371013 hasRelatedWork W1517981012 @default.
- W1537371013 hasRelatedWork W1827895227 @default.
- W1537371013 hasRelatedWork W2018096104 @default.
- W1537371013 hasRelatedWork W2154172459 @default.
- W1537371013 hasRelatedWork W2159665097 @default.
- W1537371013 hasRelatedWork W2277088917 @default.
- W1537371013 hasRelatedWork W2373750984 @default.
- W1537371013 hasRelatedWork W4280543056 @default.
- W1537371013 hasRelatedWork W4321206936 @default.
- W1537371013 hasRelatedWork W45904909 @default.
- W1537371013 isParatext "false" @default.
- W1537371013 isRetracted "false" @default.
- W1537371013 magId "1537371013" @default.
- W1537371013 workType "article" @default.