Artykuły w czasopismach na temat „Parallel satisfiability”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Parallel satisfiability”.
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.
Martins, Ruben, Vasco Manquinho i Inês Lynce. "Parallel search for maximum satisfiability". AI Communications 25, nr 2 (2012): 75–95. http://dx.doi.org/10.3233/aic-2012-0517.
Pełny tekst źródłaMartins, Ruben. "Parallel search for maximum satisfiability". Constraints 20, nr 4 (10.09.2015): 469–70. http://dx.doi.org/10.1007/s10601-015-9207-9.
Pełny tekst źródłaHAGLIN, DAVID J. "APPROXIMATING MAXIMUM 2-CNF SATISFIABILITY". Parallel Processing Letters 02, nr 02n03 (wrzesień 1992): 181–87. http://dx.doi.org/10.1142/s0129626492000301.
Pełny tekst źródłaFeldman, Yulik, Nachum Dershowitz i Ziyad Hanna. "Parallel Multithreaded Satisfiability Solver: Design and Implementation". Electronic Notes in Theoretical Computer Science 128, nr 3 (kwiecień 2005): 75–90. http://dx.doi.org/10.1016/j.entcs.2004.10.020.
Pełny tekst źródłaSADOWSKI, Adrian. "A parallel pipelined naive method for testing satisfiability". PRZEGLĄD ELEKTROTECHNICZNY 1, nr 11 (5.11.2015): 156–59. http://dx.doi.org/10.15199/48.2015.11.38.
Pełny tekst źródłaBlochinger, Wolfgang, Carsten Sinz i Wolfgang Küchlin. "Parallel propositional satisfiability checking with distributed dynamic learning". Parallel Computing 29, nr 7 (lipiec 2003): 969–94. http://dx.doi.org/10.1016/s0167-8191(03)00068-1.
Pełny tekst źródłaWen-Zhang, Liu, Zhang Jing-Fu i Long Gui-Lu. "A Parallel Quantum Algorithm for the Satisfiability Problem". Communications in Theoretical Physics 49, nr 3 (marzec 2008): 629–30. http://dx.doi.org/10.1088/0253-6102/49/3/22.
Pełny tekst źródłaCheng, Dan. "The New Democratic Revolution in Music during the Play Experience of the Ideological and Political Education Function". Applied Mechanics and Materials 556-562 (maj 2014): 6602–5. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.6602.
Pełny tekst źródłaCzutro, Alexander, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy i Bernd Becker. "Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis". International Journal of Parallel Programming 38, nr 3-4 (1.01.2010): 185–202. http://dx.doi.org/10.1007/s10766-009-0124-7.
Pełny tekst źródłaHEAD, TOM. "PHOTOCOMPUTING: EXPLORATIONS WITH TRANSPARENCY AND OPACITY". Parallel Processing Letters 17, nr 04 (grudzień 2007): 339–47. http://dx.doi.org/10.1142/s0129626407003071.
Pełny tekst źródłaLiao, Xiaojuan, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu i Fagen Li. "Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT". Mathematical Problems in Engineering 2021 (16.07.2021): 1–17. http://dx.doi.org/10.1155/2021/9615463.
Pełny tekst źródłaRintanen, Jussi, Keijo Heljanko i Ilkka Niemelä. "Planning as satisfiability: parallel plans and algorithms for plan search". Artificial Intelligence 170, nr 12-13 (wrzesień 2006): 1031–80. http://dx.doi.org/10.1016/j.artint.2006.08.002.
Pełny tekst źródłaLiao, Xiaojuan, Hui Zhang, Miyuki Koshimura, Rong Huang i Fagen Li. "Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS". JUCS - Journal of Universal Computer Science 29, nr 8 (28.08.2023): 911–37. http://dx.doi.org/10.3897/jucs.97743.
Pełny tekst źródłaBagchi, Ansuman, Brigitte Servatius i Weigeng Shi. "2-satisfiability and diagnosing faulty processors in massively parallel computing systems". Discrete Applied Mathematics 60, nr 1-3 (czerwiec 1995): 25–37. http://dx.doi.org/10.1016/0166-218x(94)00041-b.
Pełny tekst źródłaLopez Ramirez, Cristina, i Guillermo De Ita Luna. "Modelling the 3-coloring of Serial-Parallel Graphs via Incremental Satisfiability." IEEE Latin America Transactions 17, nr 04 (kwiecień 2019): 607–14. http://dx.doi.org/10.1109/tla.2019.8891885.
Pełny tekst źródłaSohn, Andrew. "Parallel Satisfiability Test with Synchronous Simulated Annealing on Distributed-Memory Multiprocessor". Journal of Parallel and Distributed Computing 36, nr 2 (sierpień 1996): 195–204. http://dx.doi.org/10.1006/jpdc.1996.0100.
Pełny tekst źródłaBofill, Miquel, Joan Espasa i Mateu Villaret. "A Semantic Notion of Interference for Planning Modulo Theories". Proceedings of the International Conference on Automated Planning and Scheduling 26 (30.03.2016): 56–64. http://dx.doi.org/10.1609/icaps.v26i1.13734.
Pełny tekst źródłaMartins, Ruben, Vasco Manquinho i Inês Lynce. "Deterministic Parallel MaxSAT Solving". International Journal on Artificial Intelligence Tools 24, nr 03 (czerwiec 2015): 1550005. http://dx.doi.org/10.1142/s0218213015500050.
Pełny tekst źródłaRankooh, Masood Feyzbakhsh, i Gholamreza Ghassem-Sani. "ITSAT: An Efficient SAT-Based Temporal Planner". Journal of Artificial Intelligence Research 53 (30.07.2015): 541–632. http://dx.doi.org/10.1613/jair.4697.
Pełny tekst źródłaGuo, Wensheng, Guowu Yang, Wei Wu, Lei He i Mingyu Sun. "A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks". PLoS ONE 9, nr 4 (9.04.2014): e94258. http://dx.doi.org/10.1371/journal.pone.0094258.
Pełny tekst źródłaLiu, Shengcai, Ke Tang i Xin Yao. "Automatic Construction of Parallel Portfolios via Explicit Instance Grouping". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17.07.2019): 1560–67. http://dx.doi.org/10.1609/aaai.v33i01.33011560.
Pełny tekst źródłaZhang, Kairong, i Masahiro Nagamatu. "Using Attenuation Coefficient Generating Function in Parallel Execution of Neural Networks for Solving SAT". Journal of Advanced Computational Intelligence and Intelligent Informatics 9, nr 2 (20.03.2005): 121–26. http://dx.doi.org/10.20965/jaciii.2005.p0121.
Pełny tekst źródłaARBELAEZ, ALEJANDRO, CHARLOTTE TRUCHET i PHILIPPE CODOGNET. "Using sequential runtime distributions for the parallel speedup prediction of SAT local search". Theory and Practice of Logic Programming 13, nr 4-5 (lipiec 2013): 625–39. http://dx.doi.org/10.1017/s1471068413000392.
Pełny tekst źródłaLück, Martin. "Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic". International Journal of Foundations of Computer Science 29, nr 01 (styczeń 2018): 17–61. http://dx.doi.org/10.1142/s0129054118500028.
Pełny tekst źródłaAlhazov, Artiom. "Minimal Parallelism and Number of Membrane Polarizations". Triangle, nr 6 (28.06.2018): 1. http://dx.doi.org/10.17345/triangle6.1-17.
Pełny tekst źródłaKatsirelos, George, Ashish Sabharwal, Horst Samulowitz i Laurent Simon. "Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers". Proceedings of the AAAI Conference on Artificial Intelligence 27, nr 1 (30.06.2013): 481–88. http://dx.doi.org/10.1609/aaai.v27i1.8660.
Pełny tekst źródłaSong, Bosheng, i Yuan Kong. "Solution to PSPACE-Complete Problem Using P Systems with Active Membranes with Time-Freeness". Mathematical Problems in Engineering 2019 (27.06.2019): 1–8. http://dx.doi.org/10.1155/2019/5793234.
Pełny tekst źródłaRybakov, V. "Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents". International Journal of Intelligent Information Technologies 6, nr 1 (styczeń 2010): 31–45. http://dx.doi.org/10.4018/jiit.2010100903.
Pełny tekst źródłaDomshlak, C., J. Hoffmann i A. Sabharwal. "Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings". Journal of Artificial Intelligence Research 36 (21.12.2009): 415–69. http://dx.doi.org/10.1613/jair.2817.
Pełny tekst źródłaNgoko, Yanik, Christophe Cérin i Denis Trystram. "Solving Sat in a Distributed Cloud: A Portfolio Approach". International Journal of Applied Mathematics and Computer Science 29, nr 2 (1.06.2019): 261–74. http://dx.doi.org/10.2478/amcs-2019-0019.
Pełny tekst źródłaБогачкова, И. А., О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семенов i О. О. Хамисов. "Problems of search for collisions of cryptographic hash functions of the MD family as variants of Boolean satisfiability problem". Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), nr 1 (2.04.2015): 61–77. http://dx.doi.org/10.26089/nummet.v16r107.
Pełny tekst źródłaIshebabi, Harold, Philipp Mahr, Christophe Bobda, Martin Gebser i Torsten Schaub. "Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs". International Journal of Reconfigurable Computing 2009 (2009): 1–11. http://dx.doi.org/10.1155/2009/863630.
Pełny tekst źródłaDrechsler, Rolf, Görschwin Fey i Sebastian Kinder. "An integrated approach for combining BDDs and SAT provers". Facta universitatis - series: Electronics and Energetics 20, nr 3 (2007): 415–36. http://dx.doi.org/10.2298/fuee0703415d.
Pełny tekst źródłaHao i Liu. "Enhanced Membrane Computing Algorithm for SAT Problems Based on the Splitting Rule". Symmetry 11, nr 11 (15.11.2019): 1412. http://dx.doi.org/10.3390/sym11111412.
Pełny tekst źródłaINTERLANDI, MATTEO, i LETIZIA TANCA. "A datalog-based computational model for coordination-free, data-parallel systems". Theory and Practice of Logic Programming 18, nr 5-6 (wrzesień 2018): 874–927. http://dx.doi.org/10.1017/s147106841800042x.
Pełny tekst źródłaBehnke, Gregor, i Susanne Biundo. "X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism". Inteligencia Artificial 21, nr 62 (11.09.2018): 75. http://dx.doi.org/10.4114/intartif.vol21iss62pp75-90.
Pełny tekst źródłaAlgazy, Kunbolat, Kairat Sakan i Nursulu Kapalova. "Evaluation of the strength and performance of a new hashing algorithm based on a block cipher". International Journal of Electrical and Computer Engineering (IJECE) 13, nr 3 (1.06.2023): 3124. http://dx.doi.org/10.11591/ijece.v13i3.pp3124-3130.
Pełny tekst źródłaShi, Kai, Huiqun Yu, Jianmei Guo, Guisheng Fan, Liqiong Chen i Xingguang Yang. "A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines". International Journal of Software Engineering and Knowledge Engineering 29, nr 04 (kwiecień 2019): 489–513. http://dx.doi.org/10.1142/s0218194019500219.
Pełny tekst źródłaMinaeva, Anna, i Zdeněk Hanzálek. "Survey on Periodic Scheduling for Time-triggered Hard Real-time Systems". ACM Computing Surveys 54, nr 1 (kwiecień 2021): 1–32. http://dx.doi.org/10.1145/3431232.
Pełny tekst źródłaHOOS, HOLGER, ROLAND KAMINSKI, MARIUS LINDAUER i TORSTEN SCHAUB. "aspeed: Solver scheduling via answer set programming". Theory and Practice of Logic Programming 15, nr 1 (17.02.2014): 117–42. http://dx.doi.org/10.1017/s1471068414000015.
Pełny tekst źródłaMuniyandi, Ravie Chandren, i Ali Maroosi. "A Representation of Membrane Computing with a Clustering Algorithm on the Graphical Processing Unit". Processes 8, nr 9 (22.09.2020): 1199. http://dx.doi.org/10.3390/pr8091199.
Pełny tekst źródłaTan, Daniel Bochen, Dolev Bluvstein, Mikhail D. Lukin i Jason Cong. "Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors". Quantum 8 (14.03.2024): 1281. http://dx.doi.org/10.22331/q-2024-03-14-1281.
Pełny tekst źródłaGütl, Christian. "Editorial". JUCS - Journal of Universal Computer Science 29, nr 8 (28.08.2023): 836–37. http://dx.doi.org/10.3897/jucs.109658.
Pełny tekst źródłaPantůčková, Kristýna, i Roman Barták. "Compilation-Based Approaches to Parallel Planning: An Empirical Comparison". International FLAIRS Conference Proceedings 34, nr 1 (18.04.2021). http://dx.doi.org/10.32473/flairs.v34i1.128537.
Pełny tekst źródłaBybee, Connor, Denis Kleyko, Dmitri E. Nikonov, Amir Khosrowshahi, Bruno A. Olshausen i Friedrich T. Sommer. "Efficient optimization with higher-order ising machines". Nature Communications 14, nr 1 (27.09.2023). http://dx.doi.org/10.1038/s41467-023-41214-9.
Pełny tekst źródłaHeule, Marijn. "Schur Number Five". Proceedings of the AAAI Conference on Artificial Intelligence 32, nr 1 (26.04.2018). http://dx.doi.org/10.1609/aaai.v32i1.12209.
Pełny tekst źródłaBofill, Miquel, Joan Espasa i Mateu Villaret. "Relaxing non-interference requirements in parallel plans". Logic Journal of the IGPL, 1.08.2019. http://dx.doi.org/10.1093/jigpal/jzz026.
Pełny tekst źródłaYin, Zhixiang, Jing Yang, Qiang Zhang, Zhen Tang, Guoqiang Wang i Zhongtuan Zheng. "DNA Computing Model for Satisfiability Problem Based on Hybridization Chain Reaction". International Journal of Pattern Recognition and Artificial Intelligence, 12.10.2020, 2159010. http://dx.doi.org/10.1142/s0218001421590102.
Pełny tekst źródłaGrimaldi, Andrea, Luis Sánchez-Tejerina, Navid Anjum Aadit, Stefano Chiappini, Mario Carpentieri, Kerem Camsari i Giovanni Finocchio. "Spintronics-compatible Approach to Solving Maximum-Satisfiability Problems with Probabilistic Computing, Invertible Logic, and Parallel Tempering". Physical Review Applied 17, nr 2 (18.02.2022). http://dx.doi.org/10.1103/physrevapplied.17.024052.
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ła