Matches in SemOpenAlex for { <https://semopenalex.org/work/W31173899> ?p ?o ?g. }
- W31173899 abstract "In the first part of this paper we survey a number of algorithms for solving the propositional satisfiability problem (SAT). We dedicate a large amount of attention to the non-clausal SAT algorithms, that is, the algorithms that work on arbitrary propositional formulas, and to the circuit SAT algorithms that work on Boolean circuit representation of formulas. We also discuss some of the non-mainstream clausal SAT algorithms. The second part of this paper discusses some of the practical applications of SAT, particularly to Bounded Model Checking and to Satisfiability Modulo Theories." @default.
- W31173899 created "2016-06-24" @default.
- W31173899 creator A5026813811 @default.
- W31173899 date "2008-01-01" @default.
- W31173899 modified "2023-09-27" @default.
- W31173899 title "Propositional Satisfiability: Algorithms and Applications" @default.
- W31173899 cites W125178576 @default.
- W31173899 cites W127040706 @default.
- W31173899 cites W142625004 @default.
- W31173899 cites W145815032 @default.
- W31173899 cites W14839205 @default.
- W31173899 cites W1485493958 @default.
- W31173899 cites W1488662850 @default.
- W31173899 cites W1489227129 @default.
- W31173899 cites W1490156001 @default.
- W31173899 cites W1493429498 @default.
- W31173899 cites W1494865762 @default.
- W31173899 cites W1505872263 @default.
- W31173899 cites W1512185023 @default.
- W31173899 cites W1513176853 @default.
- W31173899 cites W1518705996 @default.
- W31173899 cites W1518885151 @default.
- W31173899 cites W1519526968 @default.
- W31173899 cites W1534716074 @default.
- W31173899 cites W1537371013 @default.
- W31173899 cites W1537644650 @default.
- W31173899 cites W1543568366 @default.
- W31173899 cites W1543681538 @default.
- W31173899 cites W1552098422 @default.
- W31173899 cites W1553142094 @default.
- W31173899 cites W1556434751 @default.
- W31173899 cites W1556844982 @default.
- W31173899 cites W1565252114 @default.
- W31173899 cites W1567600461 @default.
- W31173899 cites W1568333198 @default.
- W31173899 cites W1570783318 @default.
- W31173899 cites W1573856812 @default.
- W31173899 cites W1579850852 @default.
- W31173899 cites W1583771634 @default.
- W31173899 cites W1583912692 @default.
- W31173899 cites W1590315663 @default.
- W31173899 cites W1591939288 @default.
- W31173899 cites W1593428110 @default.
- W31173899 cites W1594948273 @default.
- W31173899 cites W1597578789 @default.
- W31173899 cites W1599386511 @default.
- W31173899 cites W1600002932 @default.
- W31173899 cites W1667362966 @default.
- W31173899 cites W1667614912 @default.
- W31173899 cites W169672073 @default.
- W31173899 cites W1741528175 @default.
- W31173899 cites W1787074469 @default.
- W31173899 cites W1792365433 @default.
- W31173899 cites W1839246176 @default.
- W31173899 cites W1863779216 @default.
- W31173899 cites W1885994280 @default.
- W31173899 cites W1904003763 @default.
- W31173899 cites W1920638964 @default.
- W31173899 cites W1967970073 @default.
- W31173899 cites W1970251068 @default.
- W31173899 cites W1972603893 @default.
- W31173899 cites W1973898358 @default.
- W31173899 cites W1978526866 @default.
- W31173899 cites W1979328057 @default.
- W31173899 cites W1990150118 @default.
- W31173899 cites W2012935476 @default.
- W31173899 cites W2018221833 @default.
- W31173899 cites W2021592352 @default.
- W31173899 cites W2024066799 @default.
- W31173899 cites W2026355757 @default.
- W31173899 cites W2027211529 @default.
- W31173899 cites W2030224590 @default.
- W31173899 cites W2031279738 @default.
- W31173899 cites W2033040247 @default.
- W31173899 cites W2036265926 @default.
- W31173899 cites W2043829066 @default.
- W31173899 cites W2048051309 @default.
- W31173899 cites W204808196 @default.
- W31173899 cites W2055477538 @default.
- W31173899 cites W2057361103 @default.
- W31173899 cites W205961229 @default.
- W31173899 cites W2060310671 @default.
- W31173899 cites W2061438988 @default.
- W31173899 cites W2061876041 @default.
- W31173899 cites W2062897452 @default.
- W31173899 cites W2069560114 @default.
- W31173899 cites W2080267935 @default.
- W31173899 cites W2092883699 @default.
- W31173899 cites W2095210125 @default.
- W31173899 cites W2097414162 @default.
- W31173899 cites W2097699872 @default.
- W31173899 cites W2099229656 @default.
- W31173899 cites W2101347856 @default.
- W31173899 cites W2103658959 @default.
- W31173899 cites W2106440199 @default.
- W31173899 cites W2108508582 @default.
- W31173899 cites W2108637261 @default.
- W31173899 cites W2109710497 @default.
- W31173899 cites W2115207428 @default.
- W31173899 cites W2115571162 @default.