Search Results

    ArticlesSee all articles results »

    From journals and magazines

    1. Solving SAT and SAT Modulo Theories

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1bb9MwFLYKvCAh7hJlMIwE03jI5ty6GE1DVdcKQTcGSzV4iuzEpZW6ZKJNEX-JX8k5sZ10jHERL7mepFXOZ5-Lz4WQZ0wBlwXznYBnuMwYMAcs28ARrh9EMmOSV1GVJ9GbT977D9Gg12p9t7kwVSwz2udzM1R-keWA-aoY3_jNdph6NTUL6-hfYu7-6G0_Ads33lgCZ1fOgel2BG489wf_ixe4BojB_Nt_wEz9UrgAx4Ac2AJ2YPtX6DkuZpWn4bgb6-BO2B8UWTkrdDb_tAqlG2BuCkwQQqLDJF1UEfJz56hc5OLUGRaf1anIczhYqpkuSADSMsMlC9B494-GQ1BvY-uLuKghV1kvvdo1dDhV5VeVT0pdFkHHhDdOYgww0dlp3dnqnXiKkTxV0EJPzYUJ9m0cHW7t6LCTd-CEgZmbzeStKw0bkK7OxFzXkjFCneteMRflRYClNVywy6Kws6X3vBGNNhzg8F0yGA2HSdz_GF8h1zxUq1AN7x00Ut_Tqfn2T5oyUvAD2z-9_pwGdONMzGEwjnUXlQsKQaXlxLfJTfPxaVcj4g5pqfwuuWVbf1AjCe6RpQEI3Z3sATZ2tyd7FDi8eqrhQi1cXiJYgIZasNDfg4XWYKGLgiJYNuMX98lo0I97rx3TwsNJQTNaOJFgHQFGiNgJeaAki8Yp1qrPpBz7EnOTOBgYSgQZE1ipNFWso1SUKl9JvwOX_QeEKhdrKMlIBS6Im6wjxpnvRSIMJWciCGWbbNnvmaSmsD32V5klOuk-TAwDzJ63yWb9wJmu6XI56fo5BjX0QOTxyG2TNcuxxIzfeeJyMFLQ0mqTp_VdmLZxLU7kqiiBBDvegLrMvDZ5cgkNvB9Lae08_CPFGrnejJhH5OriS6ke6_Ym6xVMfwAKw75f

      by Nieuwenhuis, Robert; Tinelli, Cesare and Oliveras, Albert

      Journal Of The Acm, Volume 53, Issue 6, pp. 937 - 977

      Journal Article : Full Text Online

      View Article PDF

    2. 结核感染T细胞斑点试验、结核分枝杆菌核酸恒温扩增检测及腺苷脱氨酶联合检测在结核性胸腔积液诊断中的价值

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Pa9RAFB6KInjxBwr-poLXbCeZSTJzlOJSvCkr4qnMbCZ6WsEqtj3t2t2ltoVau_Ygdit6aCuUVcE2uv43NpPZ_8KZTJatnkRySciDzLy8yXwv871vALgBhX7LDCIH08gsM2Lo6MwWO8xFmPAIcpqzKu-T2w-8O3dJeXIMkGEtTFR6zmoxqz00BMmc0FGtTRjN38f5ssXE7OycPrhO2bFRD9J5z3EvpKEZkpUjQEhPatgNjyYqeiYeJQIeQqEfjCo0kUYFMBgJYfkuCr3ARLb9pmtMbeuNDW0j9BC1-kUaqqNhi0qmSSVDFDPFuCeKXlhSZT5XlU-D6rCXOVG7ZIkq9pfFHwzuoRTk_zjkDDhVQNnxmzb2zoKx-UfnQCfrr8v3iWxuya31StZvq4Wu3FjLXnxXvTeDTyu_6g1rkS62ZXdTbrbV6oq-HLQS2Xgtk135cjf90JUf6_Lbcrq6pFo_1PKBan6Rn3cGrX3V6KSvFou773aKh9W31UKiWp1suyf3v6rektzYO0z2srfNw_5BWv95Htwr36pMTjnFzg_OjMZ7OqnlAWFIBBxGRm9NQzjXjTGNPeHGPiVcw8qY-JQJbRAhiOMqjEQoQoJcHHsBRRfAuHCN9A4nQvsFkyhgcYQ8wnyfU8iwzy-C64Vnp4thOzP9tzMv_YPNZXDSnFuC3xVw7OmTZ-Kq3VriWh6UvwFG0RX9

      by 郑献民; 韩冉; 郑歌; 寿好长 and 马子坤

      新乡医学院学报, Volume 41, Issue 10, pp. 952 - 956

      Journal Article : Full Text Online

    3. Anti-SAT: Mitigating SAT Attack on Logic Locking

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3dS8MwEA_TJ33wa4LTKX3wSeyWtkmbyBiM4RDBB3UyfCr5qg6lE-3-f3PphxuI-FJCSUqTu941d7_8DqFzbKyUBY58wjWkGQn27c6W-CKICJMaS-5QlTN2-xzeP7DJuIUum7MwxhgHPjM9aLpcvl6oJYTK-iwEOnRrcDcSjsuzWk3GABKILp4CjLFWj6sMZoB5f2onBSAu1gvBHkNp7xUf5IqqrFviqHIvk100q1_MYat7JbakjDKsga5r9sb_zmEP7VR_nN6oVJF91DL5Adpe4SFso-EoL-b-4HX4OJoO-q_DK-9uXnJv5C_ez21vVBRCvXmL3IMSzcpeFUTaD9HT5Ho6vvGrwgq-st698LWimscZozJLJJVC0yzkGc2UykQsEiIZYQoorINMxVQRawek0gk3nBMThzo6Qp4JgNlGMkPsho7pWGQ6CpmgVHIsCJUdhOs1TlVFNw5VL95Tt-3APAWxpCCWtBJLB100Qz5Kro2_OrdhcZuO1bp2ULcWZFp9jV9pGMScJCQk8fHvo07Qln02L9HYXbRZfC7NaVke4syp2TdPs80w

      by Xie, Yang and Srivastava, Ankur

      Ieee Transactions On Computer Aided Design Of Integrated Circuits And Systems, Volume 38, Issue 2, pp. 199 - 207

      Journal Article : Full Text Online

      View Article PDF

    See all 104,795 Articles results

    Back to results navigation

    Books & MediaSee all books & media results »

    Books, music, movies and more

    1. SAT.

      https://find.library.duke.edu/catalog/DUKE008917105

      Book : View Online

    2. SAT I

      https://find.library.duke.edu/catalog/DUKE99119547796508501

      by Jerry Bobrow, Ph.D ; contributing authors, Allan Casson, Ph.D., Rajiv Rimal, Ph.D., Jean Eggenschwiler, M.A. ; consultants, Don Gallaher, M.S., Robert DiPietro, M.A.

      Book : View Online

      cover thumbnail

    3. SAT 4000 : the 4000 words essential for the SAT

      https://find.library.duke.edu/catalog/DUKE99119512661908501

      Jeff Kolby.

      Book : View Online

    See all 2,348 Books & Media results

    Back to results navigation

    Our WebsiteSee all website results »

    Guides, policies, news more

    1. Library Reopening Sat at 2pm | Duke University Medical Center Library Online

      https://mclibrary.duke.edu/news/library-reopening-sat-2pm

      Finding & Accessing Course Reserves E-Books Health Literacy Health Statistics & Data Images Journals Library Orientation Mobile Apps Writing & (...)

    2. Ask a Librarian | Duke University Libraries

      https://library.duke.edu/research/ask

      For assistance, email asklib@duke.edu   Interterm Chat/Mail Hours* Mon - Fri:    9 am - 5 pm Sat - Sun:  Mail and chat not (...)

    3. https://library.duke.edu/sites/default/files/dul/users/arianne.hartsellgundy/st._vitus.pdf

      https://library.duke.edu/sites/default/files/dul/users/arianne.hartsellgundy/st._vitus.pdf

      She sat there like a bank teller, sliding those cards through the little slot she cut out.

    See all 149 website results

    Back to results navigation

    Manuscript Collections

    Find books, manuscripts, and archive materials from Rubenstein Library

    Archival MaterialsSee all archival materials results »

    Manuscripts and archival materials

    1. FP 2113 : Manuscripts Sat 13 Aug 1737.

      https://find.library.duke.edu/catalog/DUKE99119425708208501

      Archival and manuscript material, Book : View Online

    2. FP 1853 : Manuscripts Sat 22 May 1714.

      https://find.library.duke.edu/catalog/DUKE99119454235708501

      Archival and manuscript material, Book : View Online

    3. FP 1764 : Manuscripts Sat 24 May 1712.

      https://find.library.duke.edu/catalog/DUKE99119432091808501

      Archival and manuscript material, Book : View Online

    See all 18 Archival Materials results

    Back to results navigation

    Some materials and descriptions may include offensive content. More info

    More Search Options

    Need help? Ask a Librarian!