Artigos de revistas sobre o tema "Max-SAT Problem"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Max-SAT Problem".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Chieu, H. L., e W. S. Lee. "Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem". Journal of Artificial Intelligence Research 36 (30 de outubro de 2009): 229–66. http://dx.doi.org/10.1613/jair.2808.
Texto completo da fonteAbu Doush, Iyad, Amal Lutfi Quran, Mohammed Azmi Al-Betar e Mohammed A. Awadallah. "MAX-SAT Problem using Hybrid Harmony Search Algorithm". Journal of Intelligent Systems 27, n.º 4 (25 de outubro de 2018): 643–58. http://dx.doi.org/10.1515/jisys-2016-0129.
Texto completo da fontePy, Matthieu, Mohamed Sami Cherif e Djamal Habet. "Proofs and Certificates for Max-SAT". Journal of Artificial Intelligence Research 75 (8 de dezembro de 2022): 1373–400. http://dx.doi.org/10.1613/jair.1.13811.
Texto completo da fonteLi, C. M., F. Manya e J. Planes. "New Inference Rules for Max-SAT". Journal of Artificial Intelligence Research 30 (23 de outubro de 2007): 321–59. http://dx.doi.org/10.1613/jair.2215.
Texto completo da fonteBouhmala, Noureddine. "A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems". Scientific World Journal 2014 (2014): 1–11. http://dx.doi.org/10.1155/2014/798323.
Texto completo da fonteWang, Xiaofeng, e Jiulei Jiang. "Warning Propagation Algorithm for the MAX-3-SAT Problem". IEEE Transactions on Emerging Topics in Computing 7, n.º 4 (1 de outubro de 2019): 578–84. http://dx.doi.org/10.1109/tetc.2017.2736504.
Texto completo da fonteBertoni, Alberto, Marco Carpentieri, Paola Campadelli e Giuliano Grossi. "A Genetic Model: Analysis and Application to MAXSAT". Evolutionary Computation 8, n.º 3 (setembro de 2000): 291–309. http://dx.doi.org/10.1162/106365600750078790.
Texto completo da fonteAlasow, Abdirahman, Peter Jin e Marek Perkowski. "Quantum Algorithm for Variant Maximum Satisfiability". Entropy 24, n.º 11 (5 de novembro de 2022): 1615. http://dx.doi.org/10.3390/e24111615.
Texto completo da fonteGallo, G., C. Gentile, D. Pretolani e G. Rago. "Max Horn SAT and the minimum cut problem in directed hypergraphs". Mathematical Programming 80, n.º 2 (janeiro de 1998): 213–37. http://dx.doi.org/10.1007/bf01581727.
Texto completo da fonteZhu, Wenxing, e Yuanhui Yan. "Solving the weighted MAX-SAT problem using the dynamic convexized method". Optimization Letters 8, n.º 1 (8 de novembro de 2012): 359–74. http://dx.doi.org/10.1007/s11590-012-0583-4.
Texto completo da fonteAdelshin, A. V., e A. K. Kuchin. "ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM". Prikladnaya diskretnaya matematika, n.º 38 (1 de dezembro de 2017): 110–18. http://dx.doi.org/10.17223/20710410/38/9.
Texto completo da fonteWOCJAN, PAWEL, e THOMAS BETH. "THE 2-LOCAL HAMILTONIAN PROBLEM ENCOMPASSES NP". International Journal of Quantum Information 01, n.º 03 (setembro de 2003): 349–57. http://dx.doi.org/10.1142/s021974990300022x.
Texto completo da fonteOmelchenko, Oleksii, e Andrei A. Bulatov. "Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 4 (28 de junho de 2022): 3804–12. http://dx.doi.org/10.1609/aaai.v36i4.20295.
Texto completo da fonteMa, Shaohan, e Dongmin Liang. "A polynomial-time algorithm for reducing the number of variables in MAX SAT problem". Science in China Series E: Technological Sciences 40, n.º 3 (junho de 1997): 301–11. http://dx.doi.org/10.1007/bf02916605.
Texto completo da fonteXu, Zhenxing, Kun He e Chu-Min Li. "An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem". Computers & Operations Research 104 (abril de 2019): 49–58. http://dx.doi.org/10.1016/j.cor.2018.12.005.
Texto completo da fontePalubeckis, Gintaras. "A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem". Applied Mathematics and Computation 215, n.º 3 (outubro de 2009): 1106–17. http://dx.doi.org/10.1016/j.amc.2009.06.043.
Texto completo da fonteHastings, M. B. "A Short Path Quantum Algorithm for Exact Optimization". Quantum 2 (26 de julho de 2018): 78. http://dx.doi.org/10.22331/q-2018-07-26-78.
Texto completo da fonteChicano, Francisco, Andrew M. Sutton, L. Darrell Whitley e Enrique Alba. "Fitness Probability Distribution of Bit-Flip Mutation". Evolutionary Computation 23, n.º 2 (junho de 2015): 217–48. http://dx.doi.org/10.1162/evco_a_00130.
Texto completo da fonteMunawar, Asim, Mohamed Wahib, Masaharu Munetomo e Kiyoshi Akama. "Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework". Genetic Programming and Evolvable Machines 10, n.º 4 (20 de outubro de 2009): 391–415. http://dx.doi.org/10.1007/s10710-009-9091-4.
Texto completo da fonteGrégoire, Éric, e Jean-Marie Lagniez. "RCL: An A. I. Tool for Computing Maximal Consensuses". International Journal on Artificial Intelligence Tools 25, n.º 04 (agosto de 2016): 1650026. http://dx.doi.org/10.1142/s0218213016500263.
Texto completo da fonteFielder, Catherine E., Yao-Yuan Mao, Jeffrey A. Newman, Andrew R. Zentner e Timothy C. Licquia. "Predictably missing satellites: subhalo abundances in Milky Way-like haloes". Monthly Notices of the Royal Astronomical Society 486, n.º 4 (17 de abril de 2019): 4545–68. http://dx.doi.org/10.1093/mnras/stz1098.
Texto completo da fonteDOVIER, AGOSTINO. "Preface". Theory and Practice of Logic Programming 17, n.º 4 (julho de 2017): 359–64. http://dx.doi.org/10.1017/s1471068417000199.
Texto completo da fonteSahai, Tuhin, Anurag Mishra, Jose Miguel Pasini e Susmit Jha. "Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 02 (3 de abril de 2020): 1627–35. http://dx.doi.org/10.1609/aaai.v34i02.5524.
Texto completo da fonteAlkasem, Haifa Hamad, e Mohamed El Bachir Menai. "A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search". IEEE Access 9 (2021): 49806–43. http://dx.doi.org/10.1109/access.2021.3068824.
Texto completo da fonteFrancès, Guillem, Blai Bonet e Hector Geffner. "Learning General Planning Policies from Small Examples Without Supervision". Proceedings of the AAAI Conference on Artificial Intelligence 35, n.º 13 (18 de maio de 2021): 11801–8. http://dx.doi.org/10.1609/aaai.v35i13.17402.
Texto completo da fonteTraversa, Fabio L., Pietro Cicotti, Forrest Sheldon e Massimiliano Di Ventra. "Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems". Complexity 2018 (3 de julho de 2018): 1–13. http://dx.doi.org/10.1155/2018/7982851.
Texto completo da fonteZhuo, Hankz Hankui, Qiang Yang, Rong Pan e Lei Li. "Cross-Domain Action-Model Acquisition for Planning via Web Search". Proceedings of the International Conference on Automated Planning and Scheduling 21 (22 de março de 2011): 298–305. http://dx.doi.org/10.1609/icaps.v21i1.13449.
Texto completo da fonteEscoffier, Bruno, e Vangelis Th Paschos. "Differential approximation of min sat, max sat and related problems". European Journal of Operational Research 181, n.º 2 (setembro de 2007): 620–33. http://dx.doi.org/10.1016/j.ejor.2005.04.057.
Texto completo da fonteArgelich, Josep, e Felip Manyà. "Exact Max-SAT solvers for over-constrained problems". Journal of Heuristics 12, n.º 4-5 (setembro de 2006): 375–92. http://dx.doi.org/10.1007/s10732-006-7234-9.
Texto completo da fonteMaciejewski, Filip B., Flavio Baccari, Zoltán Zimborás e Michał Oszmaniec. "Modeling and mitigation of cross-talk effects in readout noise with applications to the Quantum Approximate Optimization Algorithm". Quantum 5 (1 de junho de 2021): 464. http://dx.doi.org/10.22331/q-2021-06-01-464.
Texto completo da fonteCade, Chris, Marten Folkertsma, Ido Niesen e Jordi Weggemans. "Quantifying Grover speed-ups beyond asymptotic analysis". Quantum 7 (10 de outubro de 2023): 1133. http://dx.doi.org/10.22331/q-2023-10-10-1133.
Texto completo da fonteBoughaci, Dalila, Belaïd Benhamou e Habiba Drias. "Scatter Search and Genetic Algorithms for MAX-SAT Problems". Journal of Mathematical Modelling and Algorithms 7, n.º 2 (27 de fevereiro de 2008): 101–24. http://dx.doi.org/10.1007/s10852-008-9077-x.
Texto completo da fonteKumar, Mohit, Samuel Kolb, Stefano Teso e Luc De Raedt. "Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 04 (3 de abril de 2020): 4493–500. http://dx.doi.org/10.1609/aaai.v34i04.5877.
Texto completo da fontePipatsrisawat, Knot, Akop Palyan, Mark Chavira, Arthur Choi e Adnan Darwiche. "Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1". Journal on Satisfiability, Boolean Modeling and Computation 4, n.º 2-4 (1 de junho de 2008): 191–217. http://dx.doi.org/10.3233/sat190044.
Texto completo da fonteKochenberger, Gary, Fred Glover, Bahram Alidaee e Karen Lewis. "Using the unconstrained quadratic program to model and solve Max 2-SAT problems". International Journal of Operational Research 1, n.º 1/2 (2005): 89. http://dx.doi.org/10.1504/ijor.2005.007435.
Texto completo da fonteResende, Mauricio G. C., Leonidas S. Pitsoulis e Panos M. Pardalos. "Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP". Discrete Applied Mathematics 100, n.º 1-2 (março de 2000): 95–113. http://dx.doi.org/10.1016/s0166-218x(99)00171-7.
Texto completo da fonteBONGIOVANNI, GIANCARLO, PIERLUIGI CRESCENZI e SERGIO DE AGOSTINO. "MAX SAT AND MIN SET COVER APPROXIMATION ALGORITHMS ARE $\mathcal P$-COMPLETE". Parallel Processing Letters 05, n.º 02 (junho de 1995): 293–98. http://dx.doi.org/10.1142/s0129626495000278.
Texto completo da fonteLayeb, Abdesslem, e Djamel-Eddine Saidouni. "A Hybrid Quantum Genetic Algorithm and Local Search based DPLL for Max 3-SAT Problems". Applied Mathematics & Information Sciences 8, n.º 1 (1 de janeiro de 2014): 77–87. http://dx.doi.org/10.12785/amis/080109.
Texto completo da fonteGregory, Peter, Derek Long, Maria Fox e J. Christopher Beck. "Planning Modulo Theories: Extending the Planning Paradigm". Proceedings of the International Conference on Automated Planning and Scheduling 22 (14 de maio de 2012): 65–73. http://dx.doi.org/10.1609/icaps.v22i1.13505.
Texto completo da fonteRussell, Richard, e Sean Holden. "Handling Goal Utility Dependencies in a Satisfiability Framework". Proceedings of the International Conference on Automated Planning and Scheduling 20 (25 de maio de 2021): 145–52. http://dx.doi.org/10.1609/icaps.v20i1.13401.
Texto completo da fonteAlidaee, Bahram, Gary Kochenberger e Haibo Wang. "Theorems Supporting r-flip Search for Pseudo-Boolean Optimization". International Journal of Applied Metaheuristic Computing 1, n.º 1 (janeiro de 2010): 93–109. http://dx.doi.org/10.4018/jamc.2010102605.
Texto completo da fonteSinjorgo, Lennart, e Renata Sotirov. "On Solving MAX-SAT Using Sum of Squares". INFORMS Journal on Computing, 7 de novembro de 2023. http://dx.doi.org/10.1287/ijoc.2023.0036.
Texto completo da fonteFremont, Daniel, Markus Rabe e Sanjit Seshia. "Maximum Model Counting". Proceedings of the AAAI Conference on Artificial Intelligence 31, n.º 1 (12 de fevereiro de 2017). http://dx.doi.org/10.1609/aaai.v31i1.11138.
Texto completo da fonteBannach, Max, Malte Skambath e Till Tantau. "On the Parallel Parameterized Complexity of MaxSAT Variants". Journal of Artificial Intelligence Research 78 (19 de novembro de 2023). http://dx.doi.org/10.1613/jair.1.14748.
Texto completo da fonteAustrin, Per, Jonah Brown-Cohen e Johan Håstad. "Optimal Inapproximability with Universal Factor Graphs". ACM Transactions on Algorithms, 15 de dezembro de 2023. http://dx.doi.org/10.1145/3631119.
Texto completo da fonteMirkarimi, Puya, Adam Callison, Lewis Light, Nicholas Chancellor e Viv Kendon. "Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms". Physical Review Research 5, n.º 2 (5 de junho de 2023). http://dx.doi.org/10.1103/physrevresearch.5.023151.
Texto completo da fonteAbbasi-Zadeh, Sepehr, Nikhil Bansal, Guru Guruganesh, Aleksandar Nikolov, Roy Schwartz e Mohit Singh. "Sticky Brownian Rounding and its Applications to Constraint Satisfaction Problems". ACM Transactions on Algorithms, 11 de fevereiro de 2022. http://dx.doi.org/10.1145/3459096.
Texto completo da fonteJansen, Bart M. P., e Michał Włodarczyk. "Optimal Polynomial-time Compression for Boolean Max CSP". ACM Transactions on Computation Theory, 26 de setembro de 2023. http://dx.doi.org/10.1145/3624704.
Texto completo da fonteChandriah, Kiran Kumar, e Raghavendra V. Naraganahalli. "Maximizing a deep submodular function optimization with a weighted MAX-SAT problem for trajectory clustering and motion segmentation". Applied Intelligence, 28 de março de 2021. http://dx.doi.org/10.1007/s10489-021-02276-8.
Texto completo da fonteBashar, Mohammad Khairul, e Nikhil Shukla. "Designing Ising machines with higher order spin interactions and their application in solving combinatorial optimization". Scientific Reports 13, n.º 1 (12 de junho de 2023). http://dx.doi.org/10.1038/s41598-023-36531-4.
Texto completo da fonte