Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055762574> ?p ?o ?g. }
- W2055762574 endingPage "126" @default.
- W2055762574 startingPage "111" @default.
- W2055762574 abstract "Many efficient algorithms have been developed for satisfiability testing. They complement rather than exclude each other by being effective for particular problem instances. In this research, we give a Multi-SAT algorithm for the SAT problem. The Multi-SAT algorithm integrates several efficient SAT algorithms. It makes use of different algorithmic niches for satisfiability testing. Based on cost-effective cluster computing, Multi-SAT can perform simultaneous satisfiability testing, using several “stones” to shoot one “bird”. The software architecture for Multi-SAT has been designed. A number of software tools have been developed. This software tool kit can support efficient satisfiability testing with uncertain problem structure, facilitating multiple tracking of an algorithm structure, and allow a detailed study of the entire problem spectrum. It provides a cost-effective multi-tool kit for practical satisfiability testing." @default.
- W2055762574 created "2016-06-24" @default.
- W2055762574 creator A5032503755 @default.
- W2055762574 date "1999-10-01" @default.
- W2055762574 modified "2023-09-29" @default.
- W2055762574 title "The Multi-SAT algorithm" @default.
- W2055762574 cites W101928786 @default.
- W2055762574 cites W123736494 @default.
- W2055762574 cites W1490800496 @default.
- W2055762574 cites W1514681390 @default.
- W2055762574 cites W1514729613 @default.
- W2055762574 cites W1550402024 @default.
- W2055762574 cites W1551554715 @default.
- W2055762574 cites W1559427309 @default.
- W2055762574 cites W1571307015 @default.
- W2055762574 cites W1655990431 @default.
- W2055762574 cites W1667614912 @default.
- W2055762574 cites W1820801893 @default.
- W2055762574 cites W1966614680 @default.
- W2055762574 cites W1969377401 @default.
- W2055762574 cites W1977946745 @default.
- W2055762574 cites W1992171235 @default.
- W2055762574 cites W1994143452 @default.
- W2055762574 cites W1997310580 @default.
- W2055762574 cites W2003160050 @default.
- W2055762574 cites W2006146932 @default.
- W2055762574 cites W2009144533 @default.
- W2055762574 cites W2009941418 @default.
- W2055762574 cites W2011039300 @default.
- W2055762574 cites W2012170877 @default.
- W2055762574 cites W2016042296 @default.
- W2055762574 cites W2017127020 @default.
- W2055762574 cites W2019751493 @default.
- W2055762574 cites W2024066799 @default.
- W2055762574 cites W2024182184 @default.
- W2055762574 cites W2025390947 @default.
- W2055762574 cites W2025399946 @default.
- W2055762574 cites W2030224590 @default.
- W2055762574 cites W2031823362 @default.
- W2055762574 cites W2036265926 @default.
- W2055762574 cites W2042119491 @default.
- W2055762574 cites W2046612382 @default.
- W2055762574 cites W2050917944 @default.
- W2055762574 cites W2052684400 @default.
- W2055762574 cites W2053388659 @default.
- W2055762574 cites W2053913299 @default.
- W2055762574 cites W2055978814 @default.
- W2055762574 cites W2057361103 @default.
- W2055762574 cites W2062897452 @default.
- W2055762574 cites W2069224897 @default.
- W2055762574 cites W2070017679 @default.
- W2055762574 cites W2070914002 @default.
- W2055762574 cites W2071838103 @default.
- W2055762574 cites W2072053322 @default.
- W2055762574 cites W2072544952 @default.
- W2055762574 cites W2076164963 @default.
- W2055762574 cites W2076342862 @default.
- W2055762574 cites W2080267935 @default.
- W2055762574 cites W2085301456 @default.
- W2055762574 cites W2088377032 @default.
- W2055762574 cites W2092931458 @default.
- W2055762574 cites W2095751830 @default.
- W2055762574 cites W2098930301 @default.
- W2055762574 cites W2099251677 @default.
- W2055762574 cites W2100738443 @default.
- W2055762574 cites W2126420408 @default.
- W2055762574 cites W2136248160 @default.
- W2055762574 cites W2140593307 @default.
- W2055762574 cites W2152475379 @default.
- W2055762574 cites W2153143225 @default.
- W2055762574 cites W2153401251 @default.
- W2055762574 cites W2155058940 @default.
- W2055762574 cites W2159121686 @default.
- W2055762574 cites W2160444875 @default.
- W2055762574 cites W2165372647 @default.
- W2055762574 cites W2166566648 @default.
- W2055762574 cites W2518845439 @default.
- W2055762574 cites W2577960842 @default.
- W2055762574 cites W3121978672 @default.
- W2055762574 cites W34708619 @default.
- W2055762574 cites W4983232 @default.
- W2055762574 cites W55064848 @default.
- W2055762574 cites W1523908839 @default.
- W2055762574 cites W168579044 @default.
- W2055762574 cites W2002252750 @default.
- W2055762574 doi "https://doi.org/10.1016/s0166-218x(99)00035-9" @default.
- W2055762574 hasPublicationYear "1999" @default.
- W2055762574 type Work @default.
- W2055762574 sameAs 2055762574 @default.
- W2055762574 citedByCount "6" @default.
- W2055762574 countsByYear W20557625742013 @default.
- W2055762574 countsByYear W20557625742014 @default.
- W2055762574 countsByYear W20557625742018 @default.
- W2055762574 crossrefType "journal-article" @default.
- W2055762574 hasAuthorship W2055762574A5032503755 @default.
- W2055762574 hasBestOaLocation W20557625741 @default.
- W2055762574 hasConcept C104317684 @default.
- W2055762574 hasConcept C112313634 @default.