Journal articles on the topic 'SAT'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'SAT.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Nieuwenhuis, Robert, Albert Oliveras, and Cesare Tinelli. "Solving SAT and SAT Modulo Theories." Journal of the ACM 53, no. 6 (November 2006): 937–77. http://dx.doi.org/10.1145/1217856.1217859.
Full textDal Palù, Alessandro, Agostino Dovier, Andrea Formisano, and Enrico Pontelli. "CUD@SAT: SAT solving on GPUs." Journal of Experimental & Theoretical Artificial Intelligence 27, no. 3 (September 5, 2014): 293–316. http://dx.doi.org/10.1080/0952813x.2014.954274.
Full textGanian, Robert, and Stefan Szeider. "New width parameters for SAT and #SAT." Artificial Intelligence 295 (June 2021): 103460. http://dx.doi.org/10.1016/j.artint.2021.103460.
Full textMagaji, Buhari, Nasiru Yahaya Pindiga, and Ibrahim Mohammed Bida. "Synthesis of TiO\(_2\) Impregnated Ribes nigrum Stem Nanoactivated Carbon and their Application to Remove Heavy Metals." Asian Journal of Chemical Sciences 14, no. 2 (March 26, 2024): 149–60. http://dx.doi.org/10.9734/ajocs/2024/v14i2300.
Full textSugawa, Oka, and I. Putu Suhada Agung. "Strategi Manajemen Acara Festival Sinema Akhir Tahun (SAT) Sebagai Jalur Ekshibisi Film Tahun 2019 - 2021." CandraRupa : Journal of Art, Design, and Media 3, no. 1 (March 7, 2024): 10–21. http://dx.doi.org/10.37802/candrarupa.v3i1.580.
Full textGregg, Kevin R. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.a.
Full textMcLeod, Norman. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.b.
Full textCarroll, John J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.c.
Full textCarroll, John J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-c.
Full textObradović, Nadežda, and Vida Ognjenović. "Stari sat." World Literature Today 72, no. 1 (1998): 170. http://dx.doi.org/10.2307/40153662.
Full textGregg, K. R. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.
Full textMCLeod, N. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-a.
Full textCarroll, J. J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-b.
Full textKim, S. W. "Japan's SAT." Science 260, no. 5106 (April 16, 1993): 278. http://dx.doi.org/10.1126/science.8469978.
Full textCartron, J. P., and Ph Rouger. "SAT 93′." Transfusion Clinique et Biologique 1, no. 1 (January 1994): 8. http://dx.doi.org/10.1016/s1246-7820(05)80049-7.
Full textRuiz, Esmeralda. "Distributed SAT." Artificial Intelligence Review 35, no. 3 (December 29, 2010): 265–85. http://dx.doi.org/10.1007/s10462-010-9194-6.
Full textGocht, Stephan, and Tomáš Balyo. "Accelerating SAT Based Planning with Incremental SAT Solving." Proceedings of the International Conference on Automated Planning and Scheduling 27 (June 5, 2017): 135–39. http://dx.doi.org/10.1609/icaps.v27i1.13798.
Full textXie, Yang, and Ankur Srivastava. "Anti-SAT: Mitigating SAT Attack on Logic Locking." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, no. 2 (February 2019): 199–207. http://dx.doi.org/10.1109/tcad.2018.2801220.
Full textAvidor, Adi, and Uri Zwick. "Approximating MIN 2-SAT and MIN 3-SAT." Theory of Computing Systems 38, no. 3 (April 14, 2005): 329–45. http://dx.doi.org/10.1007/s00224-005-1140-7.
Full textBlašková, Martina, Dominika Tumová, Rudolf Blaško, and Justyna Majchrzak-Lepczyk. "Spirals of Sustainable Academic Motivation, Creativity, and Trust of Higher Education Staff." Sustainability 13, no. 13 (June 23, 2021): 7057. http://dx.doi.org/10.3390/su13137057.
Full textHeeran, Aisling B., Jessica McCready, Margaret R. Dunne, Noel E. Donlon, Timothy S. Nugent, Anshul Bhardwaj, Kathleen A. J. Mitchelson, et al. "Opposing Immune-Metabolic Signature in Visceral Versus Subcutaneous Adipose Tissue in Patients with Adenocarcinoma of the Oesophagus and the Oesophagogastric Junction." Metabolites 11, no. 11 (November 10, 2021): 768. http://dx.doi.org/10.3390/metabo11110768.
Full textHannon, Brenda. "General and non-general intelligence factors simultaneously influence SAT, SAT-V, and SAT-M performance." Intelligence 59 (November 2016): 51–63. http://dx.doi.org/10.1016/j.intell.2016.07.002.
Full textGARPELLI, Lia Nogueira, and Didier GASTMANS. "Potencial hidromineral dos aquíferos do estado de São Paulo." Pesquisas em Geociências 47, no. 3 (December 17, 2020): e100458. http://dx.doi.org/10.22456/1807-9806.109987.
Full textKaplan, Jack. "The Effectiveness of SAT Coaching on Math SAT Scores." CHANCE 18, no. 2 (March 2005): 25–34. http://dx.doi.org/10.1080/09332480.2005.10722718.
Full textAlyahya, Tasniem Nasser, Mohamed El Bachir Menai, and Hassan Mathkour. "On the Structure of the Boolean Satisfiability Problem: A Survey." ACM Computing Surveys 55, no. 3 (April 30, 2023): 1–34. http://dx.doi.org/10.1145/3491210.
Full textHannon, Brenda. "Not All Factors Contribute Equally to European-American and Hispanic Students’ SAT Scores." Journal of Intelligence 7, no. 3 (August 1, 2019): 18. http://dx.doi.org/10.3390/jintelligence7030018.
Full textRosales, José Carlos, and María Ángeles Moreno-Frías. "The Covariety of Saturated Numerical Semigroups with Fixed Frobenius Number." Foundations 4, no. 2 (June 3, 2024): 249–62. http://dx.doi.org/10.3390/foundations4020016.
Full textHeule, Marijn J. H., Matti Järvisalo, and Martin Suda. "SAT Competition 2018." Journal on Satisfiability, Boolean Modeling and Computation 11, no. 1 (September 1, 2019): 133–54. http://dx.doi.org/10.3233/sat190120.
Full textLyons, P. D. "She Sat Crying." Books Ireland, no. 229 (2000): 75. http://dx.doi.org/10.2307/20632050.
Full textVigdor, Jacob L., and Charles T. Clotfelter. "Retaking the SAT." Journal of Human Resources XXXVIII, no. 1 (2003): 1–33. http://dx.doi.org/10.3368/jhr.xxxviii.1.1.
Full textFroleyks, Nils, Marijn Heule, Markus Iser, Matti Järvisalo, and Martin Suda. "SAT Competition 2020." Artificial Intelligence 301 (December 2021): 103572. http://dx.doi.org/10.1016/j.artint.2021.103572.
Full textVigdor, Jacob L., and Charles T. Clotfelter. "Retaking the SAT." Journal of Human Resources 38, no. 1 (2003): 1. http://dx.doi.org/10.2307/1558754.
Full textHannon, Brenda. "Hispanics’ SAT Scores." Hispanic Journal of Behavioral Sciences 37, no. 2 (March 24, 2015): 204–22. http://dx.doi.org/10.1177/0739986315573249.
Full textBracey, Gerald W. "The SAT Elite." Phi Delta Kappan 83, no. 5 (January 2002): 351–420. http://dx.doi.org/10.1177/003172170208300506.
Full textScott, Helen, and Christina Dusej. "The Sat Program." Australian Journal of Career Development 2, no. 3 (September 1993): 10–11. http://dx.doi.org/10.1177/103841629300200305.
Full textConte, Gian Biagio. "Petronius, Sat. 141.4." Classical Quarterly 37, no. 2 (December 1987): 529–32. http://dx.doi.org/10.1017/s0009838800030834.
Full textSchöning, Uwe. "Das SAT-Problem." Informatik-Spektrum 33, no. 5 (July 28, 2010): 479–83. http://dx.doi.org/10.1007/s00287-010-0459-x.
Full textBalyo, Tomáš, Armin Biere, Markus Iser, and Carsten Sinz. "SAT Race 2015." Artificial Intelligence 241 (December 2016): 45–65. http://dx.doi.org/10.1016/j.artint.2016.08.007.
Full textGriffiths, PD. "Sat-Nav virology." Reviews in Medical Virology 18, no. 5 (September 2008): 291–92. http://dx.doi.org/10.1002/rmv.594.
Full textBrockdorff, Neil. "SAT in Silence." Developmental Cell 16, no. 4 (April 2009): 483–84. http://dx.doi.org/10.1016/j.devcel.2009.03.013.
Full textEscoffier, Bruno, and Vangelis Th Paschos. "Differential approximation of min sat, max sat and related problems." European Journal of Operational Research 181, no. 2 (September 2007): 620–33. http://dx.doi.org/10.1016/j.ejor.2005.04.057.
Full textDemri, Stéphane. "3-SAT = SAT for a class of normal modal logics." Information Processing Letters 54, no. 5 (June 1995): 281–87. http://dx.doi.org/10.1016/0020-0190(95)00060-p.
Full textGanai, Malay K., Aarti Gupta, Zijiang Yang, and Pranav Ashar. "Efficient distributed SAT and SAT-based distributed Bounded Model Checking." International Journal on Software Tools for Technology Transfer 8, no. 4-5 (April 5, 2006): 387–96. http://dx.doi.org/10.1007/s10009-005-0203-z.
Full textLake, Jordan E., Carlee Moser, Liz Johnston, Clara Magyar, Scott D. Nelson, Kristine M. Erlandson, Todd T. Brown, and Grace A. McComsey. "CT Fat Density Accurately Reflects Histologic Fat Quality in Adults With HIV On and Off Antiretroviral Therapy." Journal of Clinical Endocrinology & Metabolism 104, no. 10 (April 11, 2019): 4857–64. http://dx.doi.org/10.1210/jc.2018-02785.
Full textUemura, Satoshi, Sayaka Yoshida, Fumi Shishido, and Jin-ichi Inokuchi. "The Cytoplasmic Tail of GM3 Synthase Defines Its Subcellular Localization, Stability, and In Vivo Activity." Molecular Biology of the Cell 20, no. 13 (July 2009): 3088–100. http://dx.doi.org/10.1091/mbc.e08-12-1219.
Full textLópez-Cruces, Juan Luis. "Lucilius contre Amphion (Sat. I 1)." Hermes 148, no. 4 (2020): 481. http://dx.doi.org/10.25162/hermes-2020-0033.
Full textКондратьев, В. С., А. А. Семенов, and О. С. Заикин. "Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions." Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), no. 1 (January 20, 2019): 54–66. http://dx.doi.org/10.26089/nummet.v20r106.
Full textHanssen, Jaap L. J., Robert J. P. van der Wal, Henrica M. J. van der Linden, Joffrey van Prehn, Henk Scheper, and Mark G. J. de Boer. "Dosing and treatment duration of suppressive antimicrobial therapy in orthopedic implant infections: a cohort study." Journal of Bone and Joint Infection 9, no. 3 (June 4, 2024): 149–59. http://dx.doi.org/10.5194/jbji-9-149-2024.
Full textHannon, Brenda. "Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores." Personality and Individual Differences 53, no. 7 (November 2012): 816–20. http://dx.doi.org/10.1016/j.paid.2012.06.003.
Full textJarusutthirak, C., G. Amy, and D. Foss. "Potable reuse of wastewater effluent through an integrated soil aquifer treatment (SAT) - membrane system." Water Supply 3, no. 3 (June 1, 2003): 25–33. http://dx.doi.org/10.2166/ws.2003.0004.
Full text