Journal articles on the topic 'Random k-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 'Random k-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.
Larsson, Joel, and Klas Markström. "Biased random k ‐SAT." Random Structures & Algorithms 59, no. 2 (February 16, 2021): 238–66. http://dx.doi.org/10.1002/rsa.20996.
Full textCoja-Oghlan, Amin, and Angelica Y. Pachon-Pinzon. "The Decimation Process in Random $k$-SAT." SIAM Journal on Discrete Mathematics 26, no. 4 (January 2012): 1471–509. http://dx.doi.org/10.1137/110842867.
Full textCoja-Oghlan, Amin. "A Better Algorithm for Random k-SAT." SIAM Journal on Computing 39, no. 7 (January 2010): 2823–64. http://dx.doi.org/10.1137/09076516x.
Full textCOJA-OGHLAN, AMIN, ANDREAS GOERDT, and ANDRÉ LANKA. "Strong Refutation Heuristics for Random k-SAT." Combinatorics, Probability and Computing 16, no. 01 (August 14, 2006): 5. http://dx.doi.org/10.1017/s096354830600784x.
Full textKravitz, David. "On an online random k-SAT model." Random Structures and Algorithms 32, no. 1 (2007): 115–24. http://dx.doi.org/10.1002/rsa.20200.
Full textCai, S., C. Luo, and K. Su. "Scoring Functions Based on Second Level Score for k-SAT with Long Clauses." Journal of Artificial Intelligence Research 51 (October 22, 2014): 413–41. http://dx.doi.org/10.1613/jair.4480.
Full textFrieze*, Alan, and Nicholas C. Wormald†. "Random k-Sat: A Tight Threshold For Moderately Growing k." Combinatorica 25, no. 3 (May 2005): 297–305. http://dx.doi.org/10.1007/s00493-005-0017-3.
Full textFriedman, Joel, Andreas Goerdt, and Michael Krivelevich. "Recognizing More Unsatisfiable Random k-SAT Instances Efficiently." SIAM Journal on Computing 35, no. 2 (January 2005): 408–30. http://dx.doi.org/10.1137/s009753970444096x.
Full textBoufkhad, Yacine, Olivier Dubois, Yannet Interian, and Bart Selman. "Regular Random k-SAT: Properties of Balanced Formulas." Journal of Automated Reasoning 35, no. 1-3 (August 3, 2006): 181–200. http://dx.doi.org/10.1007/s10817-005-9012-z.
Full textNie, Guoxia, Daoyun Xu, Xiaofeng Wang, and Xi Wang. "The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem." Symmetry 13, no. 7 (July 8, 2021): 1231. http://dx.doi.org/10.3390/sym13071231.
Full textAchlioptas, Dimitris, and Yuval Peres. "The threshold for random $k$-SAT is $2^k\log 2-O(k)$." Journal of the American Mathematical Society 17, no. 4 (August 27, 2004): 947–73. http://dx.doi.org/10.1090/s0894-0347-04-00464-3.
Full textVyas, Nikhil, and Ryan Williams. "On Super Strong ETH." Journal of Artificial Intelligence Research 70 (January 27, 2021): 473–95. http://dx.doi.org/10.1613/jair.1.11859.
Full textVyas, Nikhil, and Ryan Williams. "Results on a Super Strong Exponential Time Hypothesis." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 09 (April 3, 2020): 13700–13703. http://dx.doi.org/10.1609/aaai.v34i09.7125.
Full textPerkins, Will. "Random k -SAT and the power of two choices." Random Structures & Algorithms 47, no. 1 (March 19, 2014): 163–73. http://dx.doi.org/10.1002/rsa.20534.
Full textAbramé, André, Djamal Habet, and Donia Toumi. "Improving configuration checking for satisfiable random k-SAT instances." Annals of Mathematics and Artificial Intelligence 79, no. 1-3 (June 4, 2016): 5–24. http://dx.doi.org/10.1007/s10472-016-9515-9.
Full textDequen, Gilles, and Olivier Dubois. "An Efficient Approach to Solving Random k-sat Problems." Journal of Automated Reasoning 37, no. 4 (October 20, 2006): 261–76. http://dx.doi.org/10.1007/s10817-006-9025-2.
Full textKrzakala, Florent, Marc Mézard, and Lenka Zdeborová. "Reweighted Belief Propagation and Quiet Planting for Random K-SAT." Journal on Satisfiability, Boolean Modeling and Computation 8, no. 3-4 (May 1, 2014): 149–71. http://dx.doi.org/10.3233/sat190096.
Full textHàn, Hiệp, Yury Person, and Mathias Schacht. "Note on strong refutation algorithms for random k-SAT formulas." Electronic Notes in Discrete Mathematics 35 (December 2009): 157–62. http://dx.doi.org/10.1016/j.endm.2009.11.027.
Full textTalagrand, Michel. "The high temperature case for the random K-sat problem." Probability Theory and Related Fields 119, no. 2 (February 2001): 187–212. http://dx.doi.org/10.1007/pl00008758.
Full textAlava, Mikko, John Ardelius, Erik Aurell, Petteri Kaski, Supriya Krishnamurthy, Pekka Orponen, and Sakari Seitz. "Circumspect descent prevails in solving random constraint satisfaction problems." Proceedings of the National Academy of Sciences 105, no. 40 (October 1, 2008): 15253–57. http://dx.doi.org/10.1073/pnas.0712263105.
Full textXu, Ke, and Wei Li. "On the average similarity degree between solutions of random k-SAT and random CSPs." Discrete Applied Mathematics 136, no. 1 (January 2004): 125–49. http://dx.doi.org/10.1016/s0166-218x(03)00204-x.
Full textAchlioptas, Dimitris, and Cristopher Moore. "Random k‐SAT: Two Moments Suffice to Cross a Sharp Threshold." SIAM Journal on Computing 36, no. 3 (January 2006): 740–62. http://dx.doi.org/10.1137/s0097539703434231.
Full textGOERDT, ANDREAS, and TOMASZ JURDZISKI. "Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures." Combinatorics, Probability and Computing 12, no. 3 (May 2003): 245–67. http://dx.doi.org/10.1017/s0963548303005637.
Full textGamarnik, David, and Madhu Sudan. "Performance of Sequential Local Algorithms for the Random NAE-$K$-SAT Problem." SIAM Journal on Computing 46, no. 2 (January 2017): 590–619. http://dx.doi.org/10.1137/140989728.
Full textZhou, Guangyan, and Rui Kang. "On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT." International Journal of Foundations of Computer Science 30, no. 02 (February 2019): 247–54. http://dx.doi.org/10.1142/s0129054119500035.
Full textJabbour, Saïd, Jerry Lonlac, Lakhdar Saïs, and Yakoub Salhi. "Revisiting the Learned Clauses Database Reduction Strategies." International Journal on Artificial Intelligence Tools 27, no. 08 (December 2018): 1850033. http://dx.doi.org/10.1142/s0218213018500331.
Full textAchlioptas, D., H. Jia, and C. Moore. "Hiding Satisfying Assignments: Two are Better than One." Journal of Artificial Intelligence Research 24 (November 3, 2005): 623–39. http://dx.doi.org/10.1613/jair.1681.
Full textAntonopoulou, Hera. "Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SAT." Journal of Discrete Mathematical Sciences and Cryptography 23, no. 7 (June 9, 2020): 1431–38. http://dx.doi.org/10.1080/09720529.2020.1711602.
Full textMo, Xiaoling, Daoyun Xu, and Xi Wang. "The Phase Transition Analysis for Random Regular Exact (s, c, k)—SAT Problem." IEEE Access 9 (2021): 26664–73. http://dx.doi.org/10.1109/access.2021.3057858.
Full textSUBRAMANI, K. "CASCADING RANDOM WALKS." International Journal of Foundations of Computer Science 16, no. 03 (June 2005): 599–622. http://dx.doi.org/10.1142/s0129054105003182.
Full textZHOU, HAIJUN. "CRITICALITY AND HETEROGENEITY IN THE SOLUTION SPACE OF RANDOM CONSTRAINT SATISFACTION PROBLEMS." International Journal of Modern Physics B 24, no. 18 (July 20, 2010): 3479–87. http://dx.doi.org/10.1142/s0217979210056013.
Full textHOGG, TAD. "SINGLE-STEP QUANTUM SEARCH USING PROBLEM STRUCTURE." International Journal of Modern Physics C 11, no. 04 (June 2000): 739–73. http://dx.doi.org/10.1142/s0129183100000663.
Full textBadr, Hamada S., Benjamin F. Zaitchik, and Seth D. Guikema. "Application of Statistical Models to the Prediction of Seasonal Rainfall Anomalies over the Sahel." Journal of Applied Meteorology and Climatology 53, no. 3 (March 2014): 614–36. http://dx.doi.org/10.1175/jamc-d-13-0181.1.
Full textMaciejewski, Filip B., Flavio Baccari, Zoltán Zimborás, and Michał Oszmaniec. "Modeling and mitigation of cross-talk effects in readout noise with applications to the Quantum Approximate Optimization Algorithm." Quantum 5 (June 1, 2021): 464. http://dx.doi.org/10.22331/q-2021-06-01-464.
Full textAlsaber, A., A. Al-Herz, J. Pan, K. Saleh, A. Al-Awadhi, W. Al-Kandari, E. Hasan, et al. "THU0556 MISSING DATA AND MULTIPLE IMPUTATION IN RHEUMATOID ARTHRITIS REGISTRIES USING SEQUENTIAL RANDOM FOREST METHOD." Annals of the Rheumatic Diseases 79, Suppl 1 (June 2020): 519.1–519. http://dx.doi.org/10.1136/annrheumdis-2020-eular.4838.
Full textPost, R. L., and I. Klodos. "Interpretation of extraordinary kinetics of Na(+)-K(+)-ATPase by a phase change." American Journal of Physiology-Cell Physiology 271, no. 5 (November 1, 1996): C1415—C1423. http://dx.doi.org/10.1152/ajpcell.1996.271.5.c1415.
Full textOjha, Chandrakanta, Adele Fusco, and Innocenzo M. Pinto. "Interferometric SAR Phase Denoising Using Proximity-Based K-SVD Technique." Sensors 19, no. 12 (June 14, 2019): 2684. http://dx.doi.org/10.3390/s19122684.
Full textGharavi, M. A., R. Armiento, B. Alling, and P. Eklund. "Theoretical study of the phase transitions and electronic structure of (Zr0.5, Mg0.5)N and (Hf0.5, Mg0.5)N." Journal of Materials Science 56, no. 1 (October 1, 2020): 305–12. http://dx.doi.org/10.1007/s10853-020-05372-1.
Full textLiu, Jun, Supei Zhang, Zihan Xu, Siqi Sun, Aowen Xiao, and Zhuang Du. "Modeling method of prediction model for salt field ion concentration under solar thermal system using random forest." Thermal Science 23, no. 5 Part A (2019): 2623–30. http://dx.doi.org/10.2298/tsci181128151l.
Full textHENDRAWAN, ARI YUNUS. "PENINGKATAN KINERJA ALGORITMA K MEANS DENGAN MENGGUNAKAN PARTICLE SWARM OPTIMIZATION DALAM PENGELOMPOKAN DATA PENYEDIAAN AKSES." Electro Luceat 6, no. 2 (November 3, 2020): 213–27. http://dx.doi.org/10.32531/jelekn.v6i2.245.
Full textHendriksen, Marieke AH, Joop MA van Raaij, Johanna M. Geleijnse, Caroline Wilson-van den Hooven, Marga C. Ocké, and Daphne L. van der A. "Monitoring salt and iodine intakes in Dutch adults between 2006 and 2010 using 24 h urinary sodium and iodine excretions." Public Health Nutrition 17, no. 7 (June 5, 2013): 1431–38. http://dx.doi.org/10.1017/s1368980013001481.
Full textDvořák, J., and J. Gorham. "Methodology of gene transfer by homoeologous recombination into Triticum turgidum: transfer of K+/Na+ discrimination from Triticum aestivum." Genome 35, no. 4 (August 1, 1992): 639–46. http://dx.doi.org/10.1139/g92-096.
Full textFanani, Nurul Zainal, Adri Gabriel Sooai, Surya Sumpeno, and Mauridhi Hery Purnomo. "Penentuan Kemampuan Motorik Halus Anak dari Proses Menulis Hanacaraka Menggunakan Random Forest." Jurnal Nasional Teknik Elektro dan Teknologi Informasi 9, no. 2 (May 29, 2020): 148–54. http://dx.doi.org/10.22146/jnteti.v9i2.153.
Full textDessy Kusumaningrum and Elly Matul Imah. "Studi Komparasi Algoritma Klasifikasi Mental Workload Berdasarkan Sinyal EEG." Jurnal Sistem Cerdas 3, no. 2 (August 31, 2020): 133–43. http://dx.doi.org/10.37396/jsc.v3i2.69.
Full textTazaki, Kazue, and W. S. Fyfe. "Primitive clay precursors formed on feldspar." Canadian Journal of Earth Sciences 24, no. 3 (March 1, 1987): 506–27. http://dx.doi.org/10.1139/e87-051.
Full textZhang, Hongming, Yongping Wang, and Chuang Peng. "Ameliorated mean adaptive median filtering algorithm." E3S Web of Conferences 118 (2019): 02069. http://dx.doi.org/10.1051/e3sconf/201911802069.
Full textMoritz, Karen M., Andrew Jefferies, E. Marelyn Wintour, and Miodrag Dodic. "Fetal renal and blood pressure responses to steroid infusion after early prenatal treatment with dexamethasone." American Journal of Physiology-Regulatory, Integrative and Comparative Physiology 288, no. 1 (January 2005): R62—R66. http://dx.doi.org/10.1152/ajpregu.00282.2004.
Full textHendrasto, Aryono, Johan Arifin, and Mohamad Sofyan Harahap. "Pengaruh Pemberian Ketorolak 30 mg Intravena pada Penderita dengan Anestesi Spinal Terhadap Fungsi Pembekuan Darah : Protrombin Time, Partial Tromboplastin Time with Kaolin." JAI (Jurnal Anestesiologi Indonesia) 1, no. 1 (October 11, 2013): 26. http://dx.doi.org/10.14710/jai.v1i1.6021.
Full textDing, Yu, Wan Zhang, Xingqiang Zhao, Liwen Zhang, and Fei Yan. "A hybrid random forest method fusing wavelet transform and variable importance for the quantitative analysis of K in potassic salt ore using laser-induced breakdown spectroscopy." Journal of Analytical Atomic Spectrometry 35, no. 6 (2020): 1131–38. http://dx.doi.org/10.1039/d0ja00010h.
Full textĆwiklińska-Jurkowska, Małgorzata. "Gene selection ensembles and classifier ensembles for medical diagnosis." Biometrical Letters 56, no. 2 (December 1, 2019): 117–38. http://dx.doi.org/10.2478/bile-2019-0007.
Full text