Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149676416> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2149676416 abstract "We are interested in this work in solving efficiently a set of instances of the SAT problem using several solvers such as to minimize the total execution time. We propose two new approaches based on the usage of a representative benchmark of SAT instances. In the first approach, we improve a problem introduced in [7, 4] such as to reduce the number of unsolved SAT instances. The second approach extends a naive solution for combining SAT solvers in a parallel context in introducing the selection of a convenient set of SAT solvers. We study the theoretical properties of our approaches and realize many experiments using a benchmark of SAT instances. The obtained results show that it is interesting to combine SAT solvers for reducing the number of unsolved SAT instances and the mean execution time required to solve a set of SAT instances." @default.
- W2149676416 created "2016-06-24" @default.
- W2149676416 creator A5017327684 @default.
- W2149676416 creator A5081906917 @default.
- W2149676416 date "2009-06-01" @default.
- W2149676416 modified "2023-10-09" @default.
- W2149676416 title "Combining SAT solvers on discrete resources" @default.
- W2149676416 cites W1482623650 @default.
- W2149676416 cites W1496062094 @default.
- W2149676416 cites W1552828154 @default.
- W2149676416 cites W1821315764 @default.
- W2149676416 cites W2029229881 @default.
- W2149676416 cites W2038372264 @default.
- W2149676416 cites W2064902266 @default.
- W2149676416 cites W2104490983 @default.
- W2149676416 cites W2147148915 @default.
- W2149676416 cites W2408622691 @default.
- W2149676416 cites W2914775474 @default.
- W2149676416 cites W2104670846 @default.
- W2149676416 doi "https://doi.org/10.1109/hpcsim.2009.5194889" @default.
- W2149676416 hasPublicationYear "2009" @default.
- W2149676416 type Work @default.
- W2149676416 sameAs 2149676416 @default.
- W2149676416 citedByCount "0" @default.
- W2149676416 crossrefType "proceedings-article" @default.
- W2149676416 hasAuthorship W2149676416A5017327684 @default.
- W2149676416 hasAuthorship W2149676416A5081906917 @default.
- W2149676416 hasConcept C173608175 @default.
- W2149676416 hasConcept C199360897 @default.
- W2149676416 hasConcept C41008148 @default.
- W2149676416 hasConcept C6943359 @default.
- W2149676416 hasConcept C80444323 @default.
- W2149676416 hasConceptScore W2149676416C173608175 @default.
- W2149676416 hasConceptScore W2149676416C199360897 @default.
- W2149676416 hasConceptScore W2149676416C41008148 @default.
- W2149676416 hasConceptScore W2149676416C6943359 @default.
- W2149676416 hasConceptScore W2149676416C80444323 @default.
- W2149676416 hasLocation W21496764161 @default.
- W2149676416 hasLocation W21496764162 @default.
- W2149676416 hasOpenAccess W2149676416 @default.
- W2149676416 hasPrimaryLocation W21496764161 @default.
- W2149676416 hasRelatedWork W2130043461 @default.
- W2149676416 hasRelatedWork W2350741829 @default.
- W2149676416 hasRelatedWork W2358668433 @default.
- W2149676416 hasRelatedWork W2376932109 @default.
- W2149676416 hasRelatedWork W2382290278 @default.
- W2149676416 hasRelatedWork W2390279801 @default.
- W2149676416 hasRelatedWork W2748952813 @default.
- W2149676416 hasRelatedWork W2899084033 @default.
- W2149676416 hasRelatedWork W2530322880 @default.
- W2149676416 hasRelatedWork W2584195379 @default.
- W2149676416 isParatext "false" @default.
- W2149676416 isRetracted "false" @default.
- W2149676416 magId "2149676416" @default.
- W2149676416 workType "article" @default.