Academic literature on the topic 'Conjunctive normal form'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Conjunctive normal form.'
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.
Journal articles on the topic "Conjunctive normal form"
De Ita Luna, Guillermo, J. Raymundo Marcial-Romero, and José A. Hernández. "The Incremental Satisfiability Problem for a Two Conjunctive Normal Form." Electronic Notes in Theoretical Computer Science 328 (December 2016): 31–45. http://dx.doi.org/10.1016/j.entcs.2016.11.004.
Full textVaisman, Radislav, Ofer Strichman, and Ilya Gertsbakh. "Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra." INFORMS Journal on Computing 27, no. 2 (April 2015): 406–15. http://dx.doi.org/10.1287/ijoc.2014.0633.
Full textWarners, Joost P. "A linear-time transformation of linear inequalities into conjunctive normal form." Information Processing Letters 68, no. 2 (October 1998): 63–69. http://dx.doi.org/10.1016/s0020-0190(98)00144-6.
Full textLosee, Robert M., and Abraham Bookstein. "Integrating Boolean queries in conjunctive normal form with probabilistic retrieval models." Information Processing & Management 24, no. 3 (January 1988): 315–21. http://dx.doi.org/10.1016/0306-4573(88)90097-0.
Full textBruni, Renato. "On the orthogonalization of arbitrary Boolean formulae." Journal of Applied Mathematics and Decision Sciences 2005, no. 2 (January 1, 2005): 61–74. http://dx.doi.org/10.1155/jamds.2005.61.
Full textZhang, Zaijun, Daoyun Xu, and Jincheng Zhou. "A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form." Entropy 23, no. 3 (March 4, 2021): 303. http://dx.doi.org/10.3390/e23030303.
Full textSchuler, Rainer. "An algorithm for the satisfiability problem of formulas in conjunctive normal form." Journal of Algorithms 54, no. 1 (January 2005): 40–44. http://dx.doi.org/10.1016/j.jalgor.2004.04.012.
Full textSeth, Abhay Deep, Santosh Biswas, and Amit Kumar Dhar. "DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form." Computer Networks 222 (February 2023): 109539. http://dx.doi.org/10.1016/j.comnet.2022.109539.
Full textGropp, Ursula. "Coinductive formulas and a many-sorted interpolation theorem." Journal of Symbolic Logic 53, no. 3 (September 1988): 937–60. http://dx.doi.org/10.2307/2274584.
Full textWild, Marcel. "The many benefits of putting stack filters into disjunctive or conjunctive normal form." Discrete Applied Mathematics 149, no. 1-3 (August 2005): 174–91. http://dx.doi.org/10.1016/j.dam.2004.06.027.
Full textDissertations / Theses on the topic "Conjunctive normal form"
Forrester, David M. "Fuzzy Cellular Automata in Conjunctive Normal Form." Thèse, Université d'Ottawa / University of Ottawa, 2011. http://hdl.handle.net/10393/19987.
Full textSteinke, Peter [Verfasser], Steffen [Gutachter] Hölldobler, and Armin [Gutachter] Biere. "Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications / Peter Steinke ; Gutachter: Steffen Hölldobler, Armin Biere." Dresden : Technische Universität Dresden, 2020. http://d-nb.info/1227196822/34.
Full textPham, Duc Nghia, and n/a. "Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems." Griffith University. Institute for Integrated and Intelligent Systems, 2006. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070216.143447.
Full textPham, Duc Nghia. "Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems." Thesis, Griffith University, 2006. http://hdl.handle.net/10072/365503.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
Institute for Integrated and Intelligent Systems
Full Text
Duong, Thach-Thao Nguyen. "Improving Diversification in Local Search for Propositional Satisfiability." Thesis, Griffith University, 2014. http://hdl.handle.net/10072/365717.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information and Communication Technology
Science, Environment, Engineering and Technology
Full Text
Grim, Pavel. "Převod výrazů v C do DIMACS formátu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-234975.
Full textSteinke, Peter. "Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications." 2019. https://tud.qucosa.de/id/qucosa%3A38409.
Full textIllner, Petr. "Kompilace KNF do backdoor decomposable monotone circuit." Master's thesis, 2021. http://www.nusl.cz/ntk/nusl-451073.
Full textBooks on the topic "Conjunctive normal form"
Jaffe, Allan S. The use of biomarkers for acute cardiovascular disease. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199687039.003.0035.
Full textJaffe, Allan S. The use of biomarkers for acute cardiovascular disease. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199687039.003.0035_update_001.
Full textJaffe, Allan S. The use of biomarkers for acute cardiovascular disease. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199687039.003.0035_update_002.
Full textDunne, Tim, and Eglantine Staunton. The Genocide Convention and Cold War Humanitarian Intervention. Edited by Alex J. Bellamy and Tim Dunne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780198753841.013.3.
Full textHenry, Mark A., and Avinash B. Kumar. Cerebral Salt Wasting. Edited by Matthew D. McEvoy and Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0068.
Full textGluckman, Sir Peter, Mark Hanson, Chong Yap Seng, and Anne Bardsley. Vitamin B12 (cobalamin) in pregnancy and breastfeeding. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780198722700.003.0013.
Full textFrost, Mervyn. Ethics in Asymmetrical War. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190851163.003.0006.
Full textWills, David. Killing Times. Fordham University Press, 2019. http://dx.doi.org/10.5422/fordham/9780823283521.001.0001.
Full textMitchell, Jennifer. Ordinary Masochisms. University Press of Florida, 2020. http://dx.doi.org/10.5744/florida/9780813066677.001.0001.
Full textHoring, Norman J. Morgenstern. Superfluidity and Superconductivity. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198791942.003.0013.
Full textBook chapters on the topic "Conjunctive normal form"
Shultz, Thomas R., Scott E. Fahlman, Susan Craw, Periklis Andritsos, Panayiotis Tsaparas, Ricardo Silva, Chris Drummond, et al. "Conjunctive Normal Form." In Encyclopedia of Machine Learning, 209–10. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-30164-8_158.
Full textPfahringer, Bernhard. "Conjunctive Normal Form." In Encyclopedia of Machine Learning and Data Mining, 260–61. Boston, MA: Springer US, 2017. http://dx.doi.org/10.1007/978-1-4899-7687-1_158.
Full textDantsin, Evgeny, and Alexander Wolpert. "Reconstruction of Boolean Formulas in Conjunctive Normal Form." In Lecture Notes in Computer Science, 592–601. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94776-1_49.
Full textJabbour, Said, Joao Marques-Silva, Lakhdar Sais, and Yakoub Salhi. "Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form." In Logics in Artificial Intelligence, 152–65. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11558-0_11.
Full textKuznetsov, Stepan. "Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives." In Formal Grammar, 242–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39998-5_15.
Full textLin, Yi, Lucas M. Tabajara, and Moshe Y. Vardi. "ZDD Boolean Synthesis." In Tools and Algorithms for the Construction and Analysis of Systems, 64–83. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_4.
Full textTraxler, Patrick. "Variable Influences in Conjunctive Normal Forms." In Lecture Notes in Computer Science, 101–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02777-2_12.
Full textBalas, Egon. "Moving Between Conjunctive and Disjunctive Normal Forms." In Disjunctive Programming, 49–68. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00148-3_4.
Full textKullmann, Oliver, and Xishun Zhao. "On Variables with Few Occurrences in Conjunctive Normal Forms." In Theory and Applications of Satisfiability Testing - SAT 2011, 33–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21581-0_5.
Full textNienhuys-Cheng, Shan-Hwei, Wim Van Laer, Jan Ramon, and Luc De Raedt. "Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms." In Inductive Logic Programming, 245–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48751-4_23.
Full textConference papers on the topic "Conjunctive normal form"
Pan, Weiyu. "Optimal Conjunctive Normal Form Encoding for Symbolic Execution." In The 33rd International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc., 2021. http://dx.doi.org/10.18293/seke2021-113.
Full textFu, Zhaohui, and Sharad Malik. "Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions." In 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07). IEEE, 2007. http://dx.doi.org/10.1109/vlsid.2007.81.
Full textLei, Zhendong, Shaowei Cai, and Chuan Luo. "Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/159.
Full textSelman, Joe, Mohamed Amer, Alan Fern, and Sinisa Todorovic. "PEL-CNF: Probabilistic event logic conjunctive normal form for video interpretation." In 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops). IEEE, 2011. http://dx.doi.org/10.1109/iccvw.2011.6130308.
Full textGdansky, N. I., and A. A. Denisov. "METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY." In STATE AND DEVELOPMENT PROSPECTS OF AGRIBUSINESS. DSTU-PRINT, 2020. http://dx.doi.org/10.23947/interagro.2020.1.472-475.
Full textČepek, Ondřej, Štefan Gurský, and Petr Kučera. "On Minimum Representations of Matched Formulas (Extended Abstract)." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/706.
Full textOtten, Jens. "nanoCoP: Natural Non-clausal Theorem Proving." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/695.
Full textKondratiev, Victor. "Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms." In 2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO). IEEE, 2022. http://dx.doi.org/10.23919/mipro55190.2022.9803639.
Full textXu, Zhe, and Ufuk Topcu. "Transfer of Temporal Logic Formulas in Reinforcement Learning." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/557.
Full textRajna, Franciska. "A kommunikációs gráfok és a fekete-fehér SAT probléma közti összefüggések vizsgálata." In Agria Média 2020 : „Az oktatás digitális átállása korunk pedagógiai forradalma”. Eszterházy Károly Egyetem Líceum Kiadó, 2021. http://dx.doi.org/10.17048/am.2020.321.
Full textReports on the topic "Conjunctive normal form"
Tao, Yang, Victor Alchanatis, and Yud-Ren Chen. X-ray and stereo imaging method for sensitive detection of bone fragments and hazardous materials in de-boned poultry fillets. United States Department of Agriculture, January 2006. http://dx.doi.org/10.32747/2006.7695872.bard.
Full textAvis, William. Responsible E-Waste Value Chains in Africa. Institute of Development Studies (IDS), January 2022. http://dx.doi.org/10.19088/k4d.2022.015.
Full textHodges, Thomas K., and David Gidoni. Regulated Expression of Yeast FLP Recombinase in Plant Cells. United States Department of Agriculture, September 2000. http://dx.doi.org/10.32747/2000.7574341.bard.
Full text