Articles de revues sur le sujet « QBF solver »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 46 meilleurs articles de revues pour votre recherche sur le sujet « QBF solver ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Weihua, Su, Yin Minghao, Wang Jianan et 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.
Texte intégralLonsing, Florian, et Armin Biere. « DepQBF : A Dependency-Aware QBF Solver ». Journal on Satisfiability, Boolean Modeling and Computation 7, no 2-3 (1 août 2010) : 71–76. http://dx.doi.org/10.3233/sat190077.
Texte intégralChen, Pei-Wei, Yu-Ching Huang et 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 (18 mai 2021) : 3697–706. http://dx.doi.org/10.1609/aaai.v35i5.16486.
Texte intégralGoultiaeva, Alexandra, et Fahiem Bacchus. « Exploiting QBF Duality on a Circuit Representation ». Proceedings of the AAAI Conference on Artificial Intelligence 24, no 1 (3 juillet 2010) : 71–76. http://dx.doi.org/10.1609/aaai.v24i1.7548.
Texte intégralSchuppan, Viktor. « Enhanced Unsatisfiable Cores for QBF : Weakening Universal to Existential Quantifiers ». International Journal on Artificial Intelligence Tools 29, no 03n04 (juin 2020) : 2060012. http://dx.doi.org/10.1142/s021821302060012x.
Texte intégralGiunchiglia, E., M. Narizzano et A. Tacchella. « Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas ». Journal of Artificial Intelligence Research 26 (17 août 2006) : 371–416. http://dx.doi.org/10.1613/jair.1959.
Texte intégralNarizzano, Massimo, Luca Pulina et Armando Tacchella. « Report of the Third QBF Solvers Evaluation1 ». Journal on Satisfiability, Boolean Modeling and Computation 2, no 1-4 (1 mars 2006) : 145–64. http://dx.doi.org/10.3233/sat190019.
Texte intégralTentrup, Leander. « CAQE and QuAbS : Abstraction Based QBF Solvers ». Journal on Satisfiability, Boolean Modeling and Computation 11, no 1 (1 septembre 2019) : 155–210. http://dx.doi.org/10.3233/sat190121.
Texte intégralLonsing, Florian, et Armin Biere. « Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers ». Electronic Notes in Theoretical Computer Science 251 (septembre 2009) : 83–95. http://dx.doi.org/10.1016/j.entcs.2009.08.029.
Texte intégralPeitl, Tomáš, Friedrich Slivovsky et Stefan Szeider. « Dependency Learning for QBF ». Journal of Artificial Intelligence Research 65 (18 juin 2019) : 181–208. http://dx.doi.org/10.1613/jair.1.11529.
Texte intégralGasquet, Olivier, Dominique Longin, Fr´ed´eric Maris, Pierre R´egnier et Ma¨el Valais. « Compact Tree Encodings for Planning as QBF ». Inteligencia Artificial 21, no 62 (1 octobre 2018) : 103–13. http://dx.doi.org/10.4114/intartif.vol21iss62pp103-113.
Texte intégralGasquet, Olivier. « Compact Tree Encodings for Planning as QBF ». Inteligencia Artificial 21, no 62 (1 octobre 2018) : 103. http://dx.doi.org/10.4114/intartif.vol21iss62pp103-114.
Texte intégralShaik, Irfansha, et Jaco Van de Pol. « Classical Planning as QBF without Grounding ». Proceedings of the International Conference on Automated Planning and Scheduling 32 (13 juin 2022) : 329–37. http://dx.doi.org/10.1609/icaps.v32i1.19817.
Texte intégralEgly, Uwe, Martina Seidl et Stefan Woltran. « A solver for QBFs in negation normal form ». Constraints 14, no 1 (13 juillet 2008) : 38–79. http://dx.doi.org/10.1007/s10601-008-9055-y.
Texte intégralPulina, Luca, et Martina Seidl. « The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) ». Artificial Intelligence 274 (septembre 2019) : 224–48. http://dx.doi.org/10.1016/j.artint.2019.04.002.
Texte intégralCashmore, Michael, Maria Fox et Enrico Giunchiglia. « Partially Grounded Planning as Quantified Boolean Formula ». Proceedings of the International Conference on Automated Planning and Scheduling 23 (2 juin 2013) : 29–36. http://dx.doi.org/10.1609/icaps.v23i1.13549.
Texte intégralPEARCE, DAVID, HANS TOMPITS et STEFAN WOLTRAN. « Characterising equilibrium logic and nested logic programs : Reductions and complexity »,. Theory and Practice of Logic Programming 9, no 05 (31 juillet 2009) : 565–616. http://dx.doi.org/10.1017/s147106840999010x.
Texte intégralMaratea, Marco, Francesco Ricca, Wolfgang Faber et Nicola Leone. « Look-back techniques and heuristics in DLV : Implementation, evaluation, and comparison to QBF solvers ». Journal of Algorithms 63, no 1-3 (janvier 2008) : 70–89. http://dx.doi.org/10.1016/j.jalgor.2008.02.006.
Texte intégralScholl, Christoph, Jie-Hong Roland Jiang, Ralf Wimmer et Aile Ge-Ernst. « A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving ». Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 juillet 2019) : 1584–91. http://dx.doi.org/10.1609/aaai.v33i01.33011584.
Texte intégralVasant, Pandian, Fahad Parvez Mahdi, Jose Antonio Marmolejo-Saucedo, Igor Litvinchev, Roman Rodriguez Aguilar et 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 (juillet 2020) : 41–57. http://dx.doi.org/10.4018/ijamc.2020070102.
Texte intégralLiu, Tong, Roberto Amadini, Maurizio Gabbrielli et Jacopo Mauro. « sunny-as2 : Enhancing SUNNY for Algorithm Selection ». Journal of Artificial Intelligence Research 72 (12 octobre 2021) : 329–76. http://dx.doi.org/10.1613/jair.1.13116.
Texte intégralZhang, Yong, et 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.
Texte intégralBOGAERTS, BART, TOMI JANHUNEN et SHAHAB TASHARROFI. « Stable-unstable semantics : Beyond NP with normal logic programs ». Theory and Practice of Logic Programming 16, no 5-6 (septembre 2016) : 570–86. http://dx.doi.org/10.1017/s1471068416000387.
Texte intégralRozhnova, S. A., et A. V. Tsypkina. « Comparative Analysis of the QbD Approach in the Pharmaceutical Industry ». Drug development & ; registration 8, no 4 (26 novembre 2019) : 20–26. http://dx.doi.org/10.33380/2305-2066-2019-8-4-20-26.
Texte intégralWang, Liting, Jiwen Wang, Ke Gong, Qing Shen, Hao Fu, Hui Huang, Chuanrong Chen, Lin Zhang, Yourong Duan et Tao Suo. « Amyloid Precursor Protein Influences Gallbladder Cancer Cell Behaviors and may be an Effective Prognostic Factor ». Nano LIFE 10, no 01n02 (mars 2020) : 2040002. http://dx.doi.org/10.1142/s1793984420400024.
Texte intégralGarcía Velasco, Daniel. « Cognitive status and referential acts in functional discourse grammar ». Quaderns de Filologia - Estudis Lingüístics 23, no 23 (24 décembre 2018) : 155. http://dx.doi.org/10.7203/qf.23.13525.
Texte intégralLindauer, Marius, Holger H. Hoos, Frank Hutter et Torsten Schaub. « AutoFolio : An Automatically Configured Algorithm Selector ». Journal of Artificial Intelligence Research 53 (31 août 2015) : 745–78. http://dx.doi.org/10.1613/jair.4726.
Texte intégralApers, Simon, et Alain Scarlet. « Quantum fast-forwarding : Markov chains and graph property testing ». Quantum Information and Computation 19, no 3&4 (mars 2019) : 181–213. http://dx.doi.org/10.26421/qic19.3-4-1.
Texte intégralPanda, Santosh Kumar, Manoranjan Sahu, Kahnu Charan Panigrahi, Chinam Niranjan Patra et 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 (28 juin 2021) : 179–94. http://dx.doi.org/10.2174/2210303111666210226142015.
Texte intégralYang, Shu, San Kiang, Parham Farzan et Marianthi Ierapetritou. « Optimization of Reaction Selectivity Using CFD-Based Compartmental Modeling and Surrogate-Based Optimization ». Processes 7, no 1 (29 décembre 2018) : 9. http://dx.doi.org/10.3390/pr7010009.
Texte intégralMarcot, Bruce G. « EcoQBNs : First Application of Ecological Modeling with Quantum Bayesian Networks ». Entropy 23, no 4 (9 avril 2021) : 441. http://dx.doi.org/10.3390/e23040441.
Texte intégralBenenson, M. Z., et E. A. Alekseeva. « Building a database for complex industrial monitoring systems ». Radio industry (Russia) 31, no 1 (7 avril 2021) : 65–73. http://dx.doi.org/10.21778/2413-9599-2021-31-1-65-73.
Texte intégralSun, Sicong, Wei Wei, Xianqi Yuan et Rougang Zhou. « Research on Calibration Methods of Long-Wave Infrared Camera and Visible Camera ». Journal of Sensors 2022 (22 décembre 2022) : 1–13. http://dx.doi.org/10.1155/2022/8667606.
Texte intégralGautam, Sumit, Sourabh Solanki, Shree Krishna Sharma, Symeon Chatzinotas et Björn Ottersten. « Boosting Quantum Battery-Based IoT Gadgets via RF-Enabled Energy Harvesting ». Sensors 22, no 14 (19 juillet 2022) : 5385. http://dx.doi.org/10.3390/s22145385.
Texte intégralBloem, Roderick, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing et Martina Seidl. « Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations ». Formal Methods in System Design, 23 août 2021. http://dx.doi.org/10.1007/s10703-021-00371-7.
Texte intégralFANDINNO, JORGE, FRANCOIS LAFERRIERE, JAVIER ROMERO, TORSTEN SCHAUB et TRAN CAO SON. « Planning with Incomplete Information in Quantified Answer Set Programming ». Theory and Practice of Logic Programming, 24 septembre 2021, 1–17. http://dx.doi.org/10.1017/s1471068421000259.
Texte intégralBeyersdorff, Olaf, et Benjamin Böhm. « Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution ». Logical Methods in Computer Science Volume 19, Issue 2 (14 avril 2023). http://dx.doi.org/10.46298/lmcs-19(2:2)2023.
Texte intégralHossain, Akash, et François Laroussinie. « QCTL model-checking with QBF solvers ». Information and Computation, octobre 2020, 104642. http://dx.doi.org/10.1016/j.ic.2020.104642.
Texte intégralBalabanov, Valeriy, Jie-Hong Jiang, Mikolas Janota et Magdalena Widl. « Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs ». Proceedings of the AAAI Conference on Artificial Intelligence 29, no 1 (4 mars 2015). http://dx.doi.org/10.1609/aaai.v29i1.9750.
Texte intégralNing, Tao, Xiaodong Duan et 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, 10 juin 2021. http://dx.doi.org/10.1093/ijlct/ctab046.
Texte intégralHecher, Markus. « Advanced tools and methods for treewidth-based problem solving ». it - Information Technology, 10 février 2023. http://dx.doi.org/10.1515/itit-2023-0004.
Texte intégralGrech, Leander, Gianluca Valentino, Diogo Alves et Simon Hirlaender. « Application of reinforcement learning in the LHC tune feedback ». Frontiers in Physics 10 (7 septembre 2022). http://dx.doi.org/10.3389/fphy.2022.929064.
Texte intégralBattula, Venkatesh, Haranath Chinthaginjala, Mousami Bhavasar Telkar, Udit Narayan Singh, Nagashubha Bobbarjang et Bhargav Eranti. « Insights of Lipid-Based Drug Delivery Systems with an Emphasis on Quality by Design ». International Journal of Life Science and Pharma Research, 13 février 2023, P83—P98. http://dx.doi.org/10.22376/ijlpr.2023.13.2.p83-p98.
Texte intégralHuntul, M. J., et Muhammad Abbas. « An inverse problem of fourth-order partial differential equation with nonlocal integral condition ». Advances in Continuous and Discrete Models 2022, no 1 (1 septembre 2022). http://dx.doi.org/10.1186/s13662-022-03727-3.
Texte intégralWard, Jonathan A., et 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 (20 novembre 2019). http://dx.doi.org/10.1007/s41109-019-0206-4.
Texte intégralHanukov, Gabi, et 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, 3 janvier 2020, 1–16. http://dx.doi.org/10.1017/s0269964819000470.
Texte intégral