Статті в журналах з теми "QBF solver"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-46 статей у журналах для дослідження на тему "QBF solver".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Weihua, Su, Yin Minghao, Wang Jianan, and Zhou Junping. "Message Passing Algorithm for Solving QBF Using More Reasoning." Mathematical Problems in Engineering 2013 (2013): 1–6. http://dx.doi.org/10.1155/2013/165927.
Повний текст джерелаLonsing, Florian, and Armin Biere. "DepQBF: A Dependency-Aware QBF Solver." Journal on Satisfiability, Boolean Modeling and Computation 7, no. 2-3 (August 1, 2010): 71–76. http://dx.doi.org/10.3233/sat190077.
Повний текст джерелаChen, Pei-Wei, Yu-Ching Huang, and Jie-Hong R. Jiang. "A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 5 (May 18, 2021): 3697–706. http://dx.doi.org/10.1609/aaai.v35i5.16486.
Повний текст джерелаGoultiaeva, Alexandra, and Fahiem Bacchus. "Exploiting QBF Duality on a Circuit Representation." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (July 3, 2010): 71–76. http://dx.doi.org/10.1609/aaai.v24i1.7548.
Повний текст джерелаSchuppan, Viktor. "Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers." International Journal on Artificial Intelligence Tools 29, no. 03n04 (June 2020): 2060012. http://dx.doi.org/10.1142/s021821302060012x.
Повний текст джерелаGiunchiglia, E., M. Narizzano, and A. Tacchella. "Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas." Journal of Artificial Intelligence Research 26 (August 17, 2006): 371–416. http://dx.doi.org/10.1613/jair.1959.
Повний текст джерелаNarizzano, Massimo, Luca Pulina, and Armando Tacchella. "Report of the Third QBF Solvers Evaluation1." Journal on Satisfiability, Boolean Modeling and Computation 2, no. 1-4 (March 1, 2006): 145–64. http://dx.doi.org/10.3233/sat190019.
Повний текст джерелаTentrup, Leander. "CAQE and QuAbS: Abstraction Based QBF Solvers." Journal on Satisfiability, Boolean Modeling and Computation 11, no. 1 (September 1, 2019): 155–210. http://dx.doi.org/10.3233/sat190121.
Повний текст джерелаLonsing, Florian, and Armin Biere. "Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers." Electronic Notes in Theoretical Computer Science 251 (September 2009): 83–95. http://dx.doi.org/10.1016/j.entcs.2009.08.029.
Повний текст джерелаPeitl, Tomáš, Friedrich Slivovsky, and Stefan Szeider. "Dependency Learning for QBF." Journal of Artificial Intelligence Research 65 (June 18, 2019): 181–208. http://dx.doi.org/10.1613/jair.1.11529.
Повний текст джерелаGasquet, Olivier, Dominique Longin, Fr´ed´eric Maris, Pierre R´egnier, and Ma¨el Valais. "Compact Tree Encodings for Planning as QBF." Inteligencia Artificial 21, no. 62 (October 1, 2018): 103–13. http://dx.doi.org/10.4114/intartif.vol21iss62pp103-113.
Повний текст джерелаGasquet, Olivier. "Compact Tree Encodings for Planning as QBF." Inteligencia Artificial 21, no. 62 (October 1, 2018): 103. http://dx.doi.org/10.4114/intartif.vol21iss62pp103-114.
Повний текст джерелаShaik, Irfansha, and Jaco Van de Pol. "Classical Planning as QBF without Grounding." Proceedings of the International Conference on Automated Planning and Scheduling 32 (June 13, 2022): 329–37. http://dx.doi.org/10.1609/icaps.v32i1.19817.
Повний текст джерелаEgly, Uwe, Martina Seidl, and Stefan Woltran. "A solver for QBFs in negation normal form." Constraints 14, no. 1 (July 13, 2008): 38–79. http://dx.doi.org/10.1007/s10601-008-9055-y.
Повний текст джерелаPulina, Luca, and Martina Seidl. "The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)." Artificial Intelligence 274 (September 2019): 224–48. http://dx.doi.org/10.1016/j.artint.2019.04.002.
Повний текст джерелаCashmore, Michael, Maria Fox, and Enrico Giunchiglia. "Partially Grounded Planning as Quantified Boolean Formula." Proceedings of the International Conference on Automated Planning and Scheduling 23 (June 2, 2013): 29–36. http://dx.doi.org/10.1609/icaps.v23i1.13549.
Повний текст джерелаPEARCE, DAVID, HANS TOMPITS, and STEFAN WOLTRAN. "Characterising equilibrium logic and nested logic programs: Reductions and complexity,." Theory and Practice of Logic Programming 9, no. 05 (July 31, 2009): 565–616. http://dx.doi.org/10.1017/s147106840999010x.
Повний текст джерелаMaratea, Marco, Francesco Ricca, Wolfgang Faber, and Nicola Leone. "Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers." Journal of Algorithms 63, no. 1-3 (January 2008): 70–89. http://dx.doi.org/10.1016/j.jalgor.2008.02.006.
Повний текст джерелаScholl, Christoph, Jie-Hong Roland Jiang, Ralf Wimmer, and Aile Ge-Ernst. "A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 1584–91. http://dx.doi.org/10.1609/aaai.v33i01.33011584.
Повний текст джерелаVasant, Pandian, Fahad Parvez Mahdi, Jose Antonio Marmolejo-Saucedo, Igor Litvinchev, Roman Rodriguez Aguilar, and Junzo Watada. "Quantum-Behaved Bat Algorithm for Solving the Economic Load Dispatch Problem Considering a Valve-Point Effect." International Journal of Applied Metaheuristic Computing 11, no. 3 (July 2020): 41–57. http://dx.doi.org/10.4018/ijamc.2020070102.
Повний текст джерелаLiu, Tong, Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. "sunny-as2: Enhancing SUNNY for Algorithm Selection." Journal of Artificial Intelligence Research 72 (October 12, 2021): 329–76. http://dx.doi.org/10.1613/jair.1.13116.
Повний текст джерелаZhang, Yong, and Dapeng Wang. "A Cost-Sensitive Ensemble Method for Class-Imbalanced Datasets." Abstract and Applied Analysis 2013 (2013): 1–6. http://dx.doi.org/10.1155/2013/196256.
Повний текст джерелаBOGAERTS, BART, TOMI JANHUNEN, and SHAHAB TASHARROFI. "Stable-unstable semantics: Beyond NP with normal logic programs." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 570–86. http://dx.doi.org/10.1017/s1471068416000387.
Повний текст джерелаRozhnova, S. A., and A. V. Tsypkina. "Comparative Analysis of the QbD Approach in the Pharmaceutical Industry." Drug development & registration 8, no. 4 (November 26, 2019): 20–26. http://dx.doi.org/10.33380/2305-2066-2019-8-4-20-26.
Повний текст джерелаWang, Liting, Jiwen Wang, Ke Gong, Qing Shen, Hao Fu, Hui Huang, Chuanrong Chen, Lin Zhang, Yourong Duan, and Tao Suo. "Amyloid Precursor Protein Influences Gallbladder Cancer Cell Behaviors and may be an Effective Prognostic Factor." Nano LIFE 10, no. 01n02 (March 2020): 2040002. http://dx.doi.org/10.1142/s1793984420400024.
Повний текст джерелаGarcía Velasco, Daniel. "Cognitive status and referential acts in functional discourse grammar." Quaderns de Filologia - Estudis Lingüístics 23, no. 23 (December 24, 2018): 155. http://dx.doi.org/10.7203/qf.23.13525.
Повний текст джерелаLindauer, Marius, Holger H. Hoos, Frank Hutter, and Torsten Schaub. "AutoFolio: An Automatically Configured Algorithm Selector." Journal of Artificial Intelligence Research 53 (August 31, 2015): 745–78. http://dx.doi.org/10.1613/jair.4726.
Повний текст джерелаApers, Simon, and Alain Scarlet. "Quantum fast-forwarding: Markov chains and graph property testing." Quantum Information and Computation 19, no. 3&4 (March 2019): 181–213. http://dx.doi.org/10.26421/qic19.3-4-1.
Повний текст джерелаPanda, Santosh Kumar, Manoranjan Sahu, Kahnu Charan Panigrahi, Chinam Niranjan Patra, and Goutam Kumar Jena. "The Development of Floating Multiple Unit Mini Tablets of Bosentan Using QbD: Characterisation and Pharmacokinetic Study." Drug Delivery Letters 11, no. 2 (June 28, 2021): 179–94. http://dx.doi.org/10.2174/2210303111666210226142015.
Повний текст джерелаYang, Shu, San Kiang, Parham Farzan, and Marianthi Ierapetritou. "Optimization of Reaction Selectivity Using CFD-Based Compartmental Modeling and Surrogate-Based Optimization." Processes 7, no. 1 (December 29, 2018): 9. http://dx.doi.org/10.3390/pr7010009.
Повний текст джерелаMarcot, Bruce G. "EcoQBNs: First Application of Ecological Modeling with Quantum Bayesian Networks." Entropy 23, no. 4 (April 9, 2021): 441. http://dx.doi.org/10.3390/e23040441.
Повний текст джерелаBenenson, M. Z., and E. A. Alekseeva. "Building a database for complex industrial monitoring systems." Radio industry (Russia) 31, no. 1 (April 7, 2021): 65–73. http://dx.doi.org/10.21778/2413-9599-2021-31-1-65-73.
Повний текст джерелаSun, Sicong, Wei Wei, Xianqi Yuan, and Rougang Zhou. "Research on Calibration Methods of Long-Wave Infrared Camera and Visible Camera." Journal of Sensors 2022 (December 22, 2022): 1–13. http://dx.doi.org/10.1155/2022/8667606.
Повний текст джерелаGautam, Sumit, Sourabh Solanki, Shree Krishna Sharma, Symeon Chatzinotas, and Björn Ottersten. "Boosting Quantum Battery-Based IoT Gadgets via RF-Enabled Energy Harvesting." Sensors 22, no. 14 (July 19, 2022): 5385. http://dx.doi.org/10.3390/s22145385.
Повний текст джерелаBloem, Roderick, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, and Martina Seidl. "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations." Formal Methods in System Design, August 23, 2021. http://dx.doi.org/10.1007/s10703-021-00371-7.
Повний текст джерелаFANDINNO, JORGE, FRANCOIS LAFERRIERE, JAVIER ROMERO, TORSTEN SCHAUB, and TRAN CAO SON. "Planning with Incomplete Information in Quantified Answer Set Programming." Theory and Practice of Logic Programming, September 24, 2021, 1–17. http://dx.doi.org/10.1017/s1471068421000259.
Повний текст джерелаBeyersdorff, Olaf, and Benjamin Böhm. "Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution." Logical Methods in Computer Science Volume 19, Issue 2 (April 14, 2023). http://dx.doi.org/10.46298/lmcs-19(2:2)2023.
Повний текст джерелаHossain, Akash, and François Laroussinie. "QCTL model-checking with QBF solvers." Information and Computation, October 2020, 104642. http://dx.doi.org/10.1016/j.ic.2020.104642.
Повний текст джерелаBalabanov, Valeriy, Jie-Hong Jiang, Mikolas Janota, and Magdalena Widl. "Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs." Proceedings of the AAAI Conference on Artificial Intelligence 29, no. 1 (March 4, 2015). http://dx.doi.org/10.1609/aaai.v29i1.9750.
Повний текст джерелаNing, Tao, Xiaodong Duan, and Lu An. "Study on the strategy of multimodal transportation of medical aid materials for public health emergencies: a case study basing on COVID-19." International Journal of Low-Carbon Technologies, June 10, 2021. http://dx.doi.org/10.1093/ijlct/ctab046.
Повний текст джерелаHecher, Markus. "Advanced tools and methods for treewidth-based problem solving." it - Information Technology, February 10, 2023. http://dx.doi.org/10.1515/itit-2023-0004.
Повний текст джерелаGrech, Leander, Gianluca Valentino, Diogo Alves, and Simon Hirlaender. "Application of reinforcement learning in the LHC tune feedback." Frontiers in Physics 10 (September 7, 2022). http://dx.doi.org/10.3389/fphy.2022.929064.
Повний текст джерелаBattula, Venkatesh, Haranath Chinthaginjala, Mousami Bhavasar Telkar, Udit Narayan Singh, Nagashubha Bobbarjang, and Bhargav Eranti. "Insights of Lipid-Based Drug Delivery Systems with an Emphasis on Quality by Design." International Journal of Life Science and Pharma Research, February 13, 2023, P83—P98. http://dx.doi.org/10.22376/ijlpr.2023.13.2.p83-p98.
Повний текст джерелаHuntul, M. J., and Muhammad Abbas. "An inverse problem of fourth-order partial differential equation with nonlocal integral condition." Advances in Continuous and Discrete Models 2022, no. 1 (September 1, 2022). http://dx.doi.org/10.1186/s13662-022-03727-3.
Повний текст джерелаWard, Jonathan A., and Martín López-García. "Exact analysis of summary statistics for continuous-time discrete-state Markov processes on networks using graph-automorphism lumping." Applied Network Science 4, no. 1 (November 20, 2019). http://dx.doi.org/10.1007/s41109-019-0206-4.
Повний текст джерелаHanukov, Gabi, and Uri Yechiali. "EXPLICIT SOLUTIONS FOR CONTINUOUS-TIME QBD PROCESSES BY USING RELATIONS BETWEEN MATRIX GEOMETRIC ANALYSIS AND THE PROBABILITY GENERATING FUNCTIONS METHOD." Probability in the Engineering and Informational Sciences, January 3, 2020, 1–16. http://dx.doi.org/10.1017/s0269964819000470.
Повний текст джерела