Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110123236> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2110123236 abstract "We introduce SATIRE, a new satisfiability solver that is particular-ly suited to verification and optimization problems in electronic de-sign automation. SATIRE builds on the most recent advances in satisfiability research, and includes two new features to achieve even higher performance: a facility for incrementally solving sets of related problems, and the ability to handle non-CNF constraints. We provide experimental evidence showing the effectiveness of these additions to classical satisfiability solvers." @default.
- W2110123236 created "2016-06-24" @default.
- W2110123236 creator A5018420375 @default.
- W2110123236 creator A5068440432 @default.
- W2110123236 creator A5077314055 @default.
- W2110123236 date "2001-01-01" @default.
- W2110123236 modified "2023-10-18" @default.
- W2110123236 title "SATIRE" @default.
- W2110123236 cites W1498682591 @default.
- W2110123236 cites W1511155470 @default.
- W2110123236 cites W1561675075 @default.
- W2110123236 cites W1582162693 @default.
- W2110123236 cites W1996808256 @default.
- W2110123236 cites W2006891507 @default.
- W2110123236 cites W2024148935 @default.
- W2110123236 cites W2044560939 @default.
- W2110123236 cites W2051111453 @default.
- W2110123236 cites W2057361103 @default.
- W2110123236 cites W2078980894 @default.
- W2110123236 cites W2098446677 @default.
- W2110123236 cites W2112134383 @default.
- W2110123236 cites W2117189826 @default.
- W2110123236 cites W2127856935 @default.
- W2110123236 cites W2152426072 @default.
- W2110123236 cites W2155525685 @default.
- W2110123236 cites W2165858176 @default.
- W2110123236 cites W2169373662 @default.
- W2110123236 cites W3045969830 @default.
- W2110123236 cites W33927306 @default.
- W2110123236 cites W80336116 @default.
- W2110123236 doi "https://doi.org/10.1145/378239.379019" @default.
- W2110123236 hasPublicationYear "2001" @default.
- W2110123236 type Work @default.
- W2110123236 sameAs 2110123236 @default.
- W2110123236 citedByCount "158" @default.
- W2110123236 countsByYear W21101232362012 @default.
- W2110123236 countsByYear W21101232362013 @default.
- W2110123236 countsByYear W21101232362014 @default.
- W2110123236 countsByYear W21101232362015 @default.
- W2110123236 countsByYear W21101232362016 @default.
- W2110123236 countsByYear W21101232362017 @default.
- W2110123236 countsByYear W21101232362018 @default.
- W2110123236 countsByYear W21101232362019 @default.
- W2110123236 countsByYear W21101232362020 @default.
- W2110123236 countsByYear W21101232362021 @default.
- W2110123236 countsByYear W21101232362022 @default.
- W2110123236 countsByYear W21101232362023 @default.
- W2110123236 crossrefType "proceedings-article" @default.
- W2110123236 hasAuthorship W2110123236A5018420375 @default.
- W2110123236 hasAuthorship W2110123236A5068440432 @default.
- W2110123236 hasAuthorship W2110123236A5077314055 @default.
- W2110123236 hasConcept C41008148 @default.
- W2110123236 hasConceptScore W2110123236C41008148 @default.
- W2110123236 hasLocation W21101232361 @default.
- W2110123236 hasOpenAccess W2110123236 @default.
- W2110123236 hasPrimaryLocation W21101232361 @default.
- W2110123236 hasRelatedWork W1596801655 @default.
- W2110123236 hasRelatedWork W2130043461 @default.
- W2110123236 hasRelatedWork W2350741829 @default.
- W2110123236 hasRelatedWork W2358668433 @default.
- W2110123236 hasRelatedWork W2376932109 @default.
- W2110123236 hasRelatedWork W2382290278 @default.
- W2110123236 hasRelatedWork W2390279801 @default.
- W2110123236 hasRelatedWork W2748952813 @default.
- W2110123236 hasRelatedWork W2899084033 @default.
- W2110123236 hasRelatedWork W2530322880 @default.
- W2110123236 isParatext "false" @default.
- W2110123236 isRetracted "false" @default.
- W2110123236 magId "2110123236" @default.
- W2110123236 workType "article" @default.