Artykuły w czasopismach na temat „Max-SAT Problem”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Max-SAT Problem”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Chieu, H. L., i W. S. Lee. "Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem". Journal of Artificial Intelligence Research 36 (30.10.2009): 229–66. http://dx.doi.org/10.1613/jair.2808.
Pełny tekst źródłaAbu Doush, Iyad, Amal Lutfi Quran, Mohammed Azmi Al-Betar i Mohammed A. Awadallah. "MAX-SAT Problem using Hybrid Harmony Search Algorithm". Journal of Intelligent Systems 27, nr 4 (25.10.2018): 643–58. http://dx.doi.org/10.1515/jisys-2016-0129.
Pełny tekst źródłaPy, Matthieu, Mohamed Sami Cherif i Djamal Habet. "Proofs and Certificates for Max-SAT". Journal of Artificial Intelligence Research 75 (8.12.2022): 1373–400. http://dx.doi.org/10.1613/jair.1.13811.
Pełny tekst źródłaLi, C. M., F. Manya i J. Planes. "New Inference Rules for Max-SAT". Journal of Artificial Intelligence Research 30 (23.10.2007): 321–59. http://dx.doi.org/10.1613/jair.2215.
Pełny tekst źródłaBouhmala, 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.
Pełny tekst źródłaWang, Xiaofeng, i Jiulei Jiang. "Warning Propagation Algorithm for the MAX-3-SAT Problem". IEEE Transactions on Emerging Topics in Computing 7, nr 4 (1.10.2019): 578–84. http://dx.doi.org/10.1109/tetc.2017.2736504.
Pełny tekst źródłaBertoni, Alberto, Marco Carpentieri, Paola Campadelli i Giuliano Grossi. "A Genetic Model: Analysis and Application to MAXSAT". Evolutionary Computation 8, nr 3 (wrzesień 2000): 291–309. http://dx.doi.org/10.1162/106365600750078790.
Pełny tekst źródłaAlasow, Abdirahman, Peter Jin i Marek Perkowski. "Quantum Algorithm for Variant Maximum Satisfiability". Entropy 24, nr 11 (5.11.2022): 1615. http://dx.doi.org/10.3390/e24111615.
Pełny tekst źródłaGallo, G., C. Gentile, D. Pretolani i G. Rago. "Max Horn SAT and the minimum cut problem in directed hypergraphs". Mathematical Programming 80, nr 2 (styczeń 1998): 213–37. http://dx.doi.org/10.1007/bf01581727.
Pełny tekst źródłaZhu, Wenxing, i Yuanhui Yan. "Solving the weighted MAX-SAT problem using the dynamic convexized method". Optimization Letters 8, nr 1 (8.11.2012): 359–74. http://dx.doi.org/10.1007/s11590-012-0583-4.
Pełny tekst źródłaAdelshin, A. V., i A. K. Kuchin. "ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM". Prikladnaya diskretnaya matematika, nr 38 (1.12.2017): 110–18. http://dx.doi.org/10.17223/20710410/38/9.
Pełny tekst źródłaWOCJAN, PAWEL, i THOMAS BETH. "THE 2-LOCAL HAMILTONIAN PROBLEM ENCOMPASSES NP". International Journal of Quantum Information 01, nr 03 (wrzesień 2003): 349–57. http://dx.doi.org/10.1142/s021974990300022x.
Pełny tekst źródłaOmelchenko, Oleksii, i 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, nr 4 (28.06.2022): 3804–12. http://dx.doi.org/10.1609/aaai.v36i4.20295.
Pełny tekst źródłaMa, Shaohan, i Dongmin Liang. "A polynomial-time algorithm for reducing the number of variables in MAX SAT problem". Science in China Series E: Technological Sciences 40, nr 3 (czerwiec 1997): 301–11. http://dx.doi.org/10.1007/bf02916605.
Pełny tekst źródłaXu, Zhenxing, Kun He i Chu-Min Li. "An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem". Computers & Operations Research 104 (kwiecień 2019): 49–58. http://dx.doi.org/10.1016/j.cor.2018.12.005.
Pełny tekst źródłaPalubeckis, Gintaras. "A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem". Applied Mathematics and Computation 215, nr 3 (październik 2009): 1106–17. http://dx.doi.org/10.1016/j.amc.2009.06.043.
Pełny tekst źródłaHastings, M. B. "A Short Path Quantum Algorithm for Exact Optimization". Quantum 2 (26.07.2018): 78. http://dx.doi.org/10.22331/q-2018-07-26-78.
Pełny tekst źródłaChicano, Francisco, Andrew M. Sutton, L. Darrell Whitley i Enrique Alba. "Fitness Probability Distribution of Bit-Flip Mutation". Evolutionary Computation 23, nr 2 (czerwiec 2015): 217–48. http://dx.doi.org/10.1162/evco_a_00130.
Pełny tekst źródłaMunawar, Asim, Mohamed Wahib, Masaharu Munetomo i Kiyoshi Akama. "Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework". Genetic Programming and Evolvable Machines 10, nr 4 (20.10.2009): 391–415. http://dx.doi.org/10.1007/s10710-009-9091-4.
Pełny tekst źródłaGrégoire, Éric, i Jean-Marie Lagniez. "RCL: An A. I. Tool for Computing Maximal Consensuses". International Journal on Artificial Intelligence Tools 25, nr 04 (sierpień 2016): 1650026. http://dx.doi.org/10.1142/s0218213016500263.
Pełny tekst źródłaFielder, Catherine E., Yao-Yuan Mao, Jeffrey A. Newman, Andrew R. Zentner i Timothy C. Licquia. "Predictably missing satellites: subhalo abundances in Milky Way-like haloes". Monthly Notices of the Royal Astronomical Society 486, nr 4 (17.04.2019): 4545–68. http://dx.doi.org/10.1093/mnras/stz1098.
Pełny tekst źródłaDOVIER, AGOSTINO. "Preface". Theory and Practice of Logic Programming 17, nr 4 (lipiec 2017): 359–64. http://dx.doi.org/10.1017/s1471068417000199.
Pełny tekst źródłaSahai, Tuhin, Anurag Mishra, Jose Miguel Pasini i 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, nr 02 (3.04.2020): 1627–35. http://dx.doi.org/10.1609/aaai.v34i02.5524.
Pełny tekst źródłaAlkasem, Haifa Hamad, i 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.
Pełny tekst źródłaFrancès, Guillem, Blai Bonet i Hector Geffner. "Learning General Planning Policies from Small Examples Without Supervision". Proceedings of the AAAI Conference on Artificial Intelligence 35, nr 13 (18.05.2021): 11801–8. http://dx.doi.org/10.1609/aaai.v35i13.17402.
Pełny tekst źródłaTraversa, Fabio L., Pietro Cicotti, Forrest Sheldon i Massimiliano Di Ventra. "Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems". Complexity 2018 (3.07.2018): 1–13. http://dx.doi.org/10.1155/2018/7982851.
Pełny tekst źródłaZhuo, Hankz Hankui, Qiang Yang, Rong Pan i Lei Li. "Cross-Domain Action-Model Acquisition for Planning via Web Search". Proceedings of the International Conference on Automated Planning and Scheduling 21 (22.03.2011): 298–305. http://dx.doi.org/10.1609/icaps.v21i1.13449.
Pełny tekst źródłaEscoffier, Bruno, i Vangelis Th Paschos. "Differential approximation of min sat, max sat and related problems". European Journal of Operational Research 181, nr 2 (wrzesień 2007): 620–33. http://dx.doi.org/10.1016/j.ejor.2005.04.057.
Pełny tekst źródłaArgelich, Josep, i Felip Manyà. "Exact Max-SAT solvers for over-constrained problems". Journal of Heuristics 12, nr 4-5 (wrzesień 2006): 375–92. http://dx.doi.org/10.1007/s10732-006-7234-9.
Pełny tekst źródłaMaciejewski, Filip B., Flavio Baccari, Zoltán Zimborás i Michał Oszmaniec. "Modeling and mitigation of cross-talk effects in readout noise with applications to the Quantum Approximate Optimization Algorithm". Quantum 5 (1.06.2021): 464. http://dx.doi.org/10.22331/q-2021-06-01-464.
Pełny tekst źródłaCade, Chris, Marten Folkertsma, Ido Niesen i Jordi Weggemans. "Quantifying Grover speed-ups beyond asymptotic analysis". Quantum 7 (10.10.2023): 1133. http://dx.doi.org/10.22331/q-2023-10-10-1133.
Pełny tekst źródłaBoughaci, Dalila, Belaïd Benhamou i Habiba Drias. "Scatter Search and Genetic Algorithms for MAX-SAT Problems". Journal of Mathematical Modelling and Algorithms 7, nr 2 (27.02.2008): 101–24. http://dx.doi.org/10.1007/s10852-008-9077-x.
Pełny tekst źródłaKumar, Mohit, Samuel Kolb, Stefano Teso i Luc De Raedt. "Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation". Proceedings of the AAAI Conference on Artificial Intelligence 34, nr 04 (3.04.2020): 4493–500. http://dx.doi.org/10.1609/aaai.v34i04.5877.
Pełny tekst źródłaPipatsrisawat, Knot, Akop Palyan, Mark Chavira, Arthur Choi i Adnan Darwiche. "Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1". Journal on Satisfiability, Boolean Modeling and Computation 4, nr 2-4 (1.06.2008): 191–217. http://dx.doi.org/10.3233/sat190044.
Pełny tekst źródłaKochenberger, Gary, Fred Glover, Bahram Alidaee i Karen Lewis. "Using the unconstrained quadratic program to model and solve Max 2-SAT problems". International Journal of Operational Research 1, nr 1/2 (2005): 89. http://dx.doi.org/10.1504/ijor.2005.007435.
Pełny tekst źródłaResende, Mauricio G. C., Leonidas S. Pitsoulis i Panos M. Pardalos. "Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP". Discrete Applied Mathematics 100, nr 1-2 (marzec 2000): 95–113. http://dx.doi.org/10.1016/s0166-218x(99)00171-7.
Pełny tekst źródłaBONGIOVANNI, GIANCARLO, PIERLUIGI CRESCENZI i SERGIO DE AGOSTINO. "MAX SAT AND MIN SET COVER APPROXIMATION ALGORITHMS ARE $\mathcal P$-COMPLETE". Parallel Processing Letters 05, nr 02 (czerwiec 1995): 293–98. http://dx.doi.org/10.1142/s0129626495000278.
Pełny tekst źródłaLayeb, Abdesslem, i Djamel-Eddine Saidouni. "A Hybrid Quantum Genetic Algorithm and Local Search based DPLL for Max 3-SAT Problems". Applied Mathematics & Information Sciences 8, nr 1 (1.01.2014): 77–87. http://dx.doi.org/10.12785/amis/080109.
Pełny tekst źródłaGregory, Peter, Derek Long, Maria Fox i J. Christopher Beck. "Planning Modulo Theories: Extending the Planning Paradigm". Proceedings of the International Conference on Automated Planning and Scheduling 22 (14.05.2012): 65–73. http://dx.doi.org/10.1609/icaps.v22i1.13505.
Pełny tekst źródłaRussell, Richard, i Sean Holden. "Handling Goal Utility Dependencies in a Satisfiability Framework". Proceedings of the International Conference on Automated Planning and Scheduling 20 (25.05.2021): 145–52. http://dx.doi.org/10.1609/icaps.v20i1.13401.
Pełny tekst źródłaAlidaee, Bahram, Gary Kochenberger i Haibo Wang. "Theorems Supporting r-flip Search for Pseudo-Boolean Optimization". International Journal of Applied Metaheuristic Computing 1, nr 1 (styczeń 2010): 93–109. http://dx.doi.org/10.4018/jamc.2010102605.
Pełny tekst źródłaSinjorgo, Lennart, i Renata Sotirov. "On Solving MAX-SAT Using Sum of Squares". INFORMS Journal on Computing, 7.11.2023. http://dx.doi.org/10.1287/ijoc.2023.0036.
Pełny tekst źródłaFremont, Daniel, Markus Rabe i Sanjit Seshia. "Maximum Model Counting". Proceedings of the AAAI Conference on Artificial Intelligence 31, nr 1 (12.02.2017). http://dx.doi.org/10.1609/aaai.v31i1.11138.
Pełny tekst źródłaBannach, Max, Malte Skambath i Till Tantau. "On the Parallel Parameterized Complexity of MaxSAT Variants". Journal of Artificial Intelligence Research 78 (19.11.2023). http://dx.doi.org/10.1613/jair.1.14748.
Pełny tekst źródłaAustrin, Per, Jonah Brown-Cohen i Johan Håstad. "Optimal Inapproximability with Universal Factor Graphs". ACM Transactions on Algorithms, 15.12.2023. http://dx.doi.org/10.1145/3631119.
Pełny tekst źródłaMirkarimi, Puya, Adam Callison, Lewis Light, Nicholas Chancellor i Viv Kendon. "Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms". Physical Review Research 5, nr 2 (5.06.2023). http://dx.doi.org/10.1103/physrevresearch.5.023151.
Pełny tekst źródłaAbbasi-Zadeh, Sepehr, Nikhil Bansal, Guru Guruganesh, Aleksandar Nikolov, Roy Schwartz i Mohit Singh. "Sticky Brownian Rounding and its Applications to Constraint Satisfaction Problems". ACM Transactions on Algorithms, 11.02.2022. http://dx.doi.org/10.1145/3459096.
Pełny tekst źródłaJansen, Bart M. P., i Michał Włodarczyk. "Optimal Polynomial-time Compression for Boolean Max CSP". ACM Transactions on Computation Theory, 26.09.2023. http://dx.doi.org/10.1145/3624704.
Pełny tekst źródłaChandriah, Kiran Kumar, i Raghavendra V. Naraganahalli. "Maximizing a deep submodular function optimization with a weighted MAX-SAT problem for trajectory clustering and motion segmentation". Applied Intelligence, 28.03.2021. http://dx.doi.org/10.1007/s10489-021-02276-8.
Pełny tekst źródłaBashar, Mohammad Khairul, i Nikhil Shukla. "Designing Ising machines with higher order spin interactions and their application in solving combinatorial optimization". Scientific Reports 13, nr 1 (12.06.2023). http://dx.doi.org/10.1038/s41598-023-36531-4.
Pełny tekst źródła