Artículos de revistas sobre el tema "Propositional satisfiability"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Propositional satisfiability".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Jeroslow, Robert G. y Jinchang Wang. "Solving propositional satisfiability problems". Annals of Mathematics and Artificial Intelligence 1, n.º 1-4 (septiembre de 1990): 167–87. http://dx.doi.org/10.1007/bf01531077.
Texto completoBordeaux, Lucas, Youssef Hamadi y Lintao Zhang. "Propositional Satisfiability and Constraint Programming". ACM Computing Surveys 38, n.º 4 (25 de diciembre de 2006): 12. http://dx.doi.org/10.1145/1177352.1177354.
Texto completoAravantinos, V., R. Caferra y N. Peltier. "Decidability and Undecidability Results for Propositional Schemata". Journal of Artificial Intelligence Research 40 (22 de marzo de 2011): 599–656. http://dx.doi.org/10.1613/jair.3351.
Texto completoSideris, Andreas y Yannis Dimopoulos. "Constraint Propagation in Propositional Planning". Proceedings of the International Conference on Automated Planning and Scheduling 20 (25 de mayo de 2021): 153–60. http://dx.doi.org/10.1609/icaps.v20i1.13422.
Texto completoLi, Jianwen, Kristin Y. Rozier, Geguang Pu, Yueling Zhang y Moshe Y. Vardi. "SAT-Based Explicit LTLf Satisfiability Checking". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 de julio de 2019): 2946–53. http://dx.doi.org/10.1609/aaai.v33i01.33012946.
Texto completoMEIER, ARNE, MICHAEL THOMAS, HERIBERT VOLLMER y MARTIN MUNDHENK. "THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆". International Journal of Foundations of Computer Science 20, n.º 05 (octubre de 2009): 901–18. http://dx.doi.org/10.1142/s0129054109006954.
Texto completoHalpern, J. Y. y R. Pucella. "A Logic for Reasoning about Upper Probabilities". Journal of Artificial Intelligence Research 17 (1 de septiembre de 2002): 57–81. http://dx.doi.org/10.1613/jair.985.
Texto completoMOUHOUB, MALEK y SAMIRA SADAOUI. "SOLVING INCREMENTAL SATISFIABILITY". International Journal on Artificial Intelligence Tools 16, n.º 01 (febrero de 2007): 139–47. http://dx.doi.org/10.1142/s0218213007003254.
Texto completoHamadi, Youssef, Saïd Jabbour y Lakhdar Saïs. "Learning from conflicts in propositional satisfiability". 4OR 10, n.º 1 (28 de diciembre de 2011): 15–32. http://dx.doi.org/10.1007/s10288-011-0191-7.
Texto completoTIAN, CONG y ZHENHUA DUAN. "Complexity of propositional projection temporal logic with star". Mathematical Structures in Computer Science 19, n.º 1 (febrero de 2009): 73–100. http://dx.doi.org/10.1017/s096012950800738x.
Texto completoLIERLER, YULIYA y MIROSLAW TRUSZCZYNSKI. "Transition systems for model generators—A unifying approach". Theory and Practice of Logic Programming 11, n.º 4-5 (julio de 2011): 629–46. http://dx.doi.org/10.1017/s1471068411000214.
Texto completoBonet, Maria Luisa, Sam Buss, Alexey Ignatiev, Antonio Morgado y Joao Marques-Silva. "Propositional proof systems based on maximum satisfiability". Artificial Intelligence 300 (noviembre de 2021): 103552. http://dx.doi.org/10.1016/j.artint.2021.103552.
Texto completoPinkas, Gadi. "Symmetric Neural Networks and Propositional Logic Satisfiability". Neural Computation 3, n.º 2 (junio de 1991): 282–91. http://dx.doi.org/10.1162/neco.1991.3.2.282.
Texto completoBruni, Renato y Antonio Sassano. "A complete adaptive algorithm for propositional satisfiability". Discrete Applied Mathematics 127, n.º 3 (mayo de 2003): 523–34. http://dx.doi.org/10.1016/s0166-218x(02)00385-2.
Texto completoWalsh, William E., Makoto Yokoo, Katsutoshi Hirayama y Michael P. Wellman. "On market-inspired approaches to propositional satisfiability". Artificial Intelligence 144, n.º 1-2 (marzo de 2003): 125–56. http://dx.doi.org/10.1016/s0004-3702(02)00386-7.
Texto completoMarques-Silva, J. P. y K. A. Sakallah. "GRASP: a search algorithm for propositional satisfiability". IEEE Transactions on Computers 48, n.º 5 (mayo de 1999): 506–21. http://dx.doi.org/10.1109/12.769433.
Texto completoHirsch, E. A. "Separating signs in the propositional satisfiability problem". Journal of Mathematical Sciences 98, n.º 4 (febrero de 2000): 442–63. http://dx.doi.org/10.1007/bf02362266.
Texto completoBhalla, Ateet, Inês Lynce, José T. de Sousa y João Marques-Silva. "Heuristic-Based Backtracking Relaxation for Propositional Satisfiability". Journal of Automated Reasoning 35, n.º 1-3 (octubre de 2005): 3–24. http://dx.doi.org/10.1007/s10817-005-9005-y.
Texto completoGiunchiglia, Enrico, Yuliya Lierler y Marco Maratea. "Answer Set Programming Based on Propositional Satisfiability". Journal of Automated Reasoning 36, n.º 4 (29 de septiembre de 2006): 345–77. http://dx.doi.org/10.1007/s10817-006-9033-2.
Texto completoSegerlind, Nathan. "The Complexity of Propositional Proofs". Bulletin of Symbolic Logic 13, n.º 4 (diciembre de 2007): 417–81. http://dx.doi.org/10.2178/bsl/1203350879.
Texto completoPratt-Hartmann, Ian. "On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics". Bulletin of Symbolic Logic 14, n.º 1 (marzo de 2008): 1–28. http://dx.doi.org/10.2178/bsl/1208358842.
Texto completoCameron, Chris, Rex Chen, Jason Hartford y Kevin Leyton-Brown. "Predicting Propositional Satisfiability via End-to-End Learning". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 04 (3 de abril de 2020): 3324–31. http://dx.doi.org/10.1609/aaai.v34i04.5733.
Texto completoMohd Kasihmuddin, Mohd Shareduwan, Mohd Asyraf Mansor, Md Faisal Md Basir y Saratha Sathasivam. "Discrete Mutation Hopfield Neural Network in Propositional Satisfiability". Mathematics 7, n.º 11 (19 de noviembre de 2019): 1133. http://dx.doi.org/10.3390/math7111133.
Texto completoCastaño, José M. y Rodrigo Castaño. "A finite state intersection approach to propositional satisfiability". Theoretical Computer Science 450 (septiembre de 2012): 92–108. http://dx.doi.org/10.1016/j.tcs.2012.04.030.
Texto completoBlochinger, Wolfgang, Carsten Sinz y Wolfgang Küchlin. "Parallel propositional satisfiability checking with distributed dynamic learning". Parallel Computing 29, n.º 7 (julio de 2003): 969–94. http://dx.doi.org/10.1016/s0167-8191(03)00068-1.
Texto completoGallo, G. y D. Pretolani. "A new algorithm for the propositional satisfiability problem". Discrete Applied Mathematics 60, n.º 1-3 (junio de 1995): 159–79. http://dx.doi.org/10.1016/0166-218x(94)00048-i.
Texto completoInoue, Katsumi, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara y Naoyuki Tamura. "A competitive and cooperative approach to propositional satisfiability". Discrete Applied Mathematics 154, n.º 16 (noviembre de 2006): 2291–306. http://dx.doi.org/10.1016/j.dam.2006.04.015.
Texto completoVan Gelder, Allen. "Another look at graph coloring via propositional satisfiability". Discrete Applied Mathematics 156, n.º 2 (enero de 2008): 230–43. http://dx.doi.org/10.1016/j.dam.2006.07.016.
Texto completoGallo, Giorgio y Giampaolo Urbani. "Algorithms for testing the satisfiability of propositional formulae". Journal of Logic Programming 7, n.º 1 (julio de 1989): 45–61. http://dx.doi.org/10.1016/0743-1066(89)90009-5.
Texto completoVan Gelder, Allen. "A satisfiability tester for non-clausal propositional calculus". Information and Computation 79, n.º 1 (octubre de 1988): 1–21. http://dx.doi.org/10.1016/0890-5401(88)90014-4.
Texto completoPham, Duc Nghia, John Thornton y Abdul Sattar. "Modelling and solving temporal reasoning as propositional satisfiability". Artificial Intelligence 172, n.º 15 (octubre de 2008): 1752–82. http://dx.doi.org/10.1016/j.artint.2008.06.003.
Texto completoLierler, Yuliya. "What is answer set programming to propositional satisfiability". Constraints 22, n.º 3 (16 de diciembre de 2016): 307–37. http://dx.doi.org/10.1007/s10601-016-9257-7.
Texto completoMOUHOUB, MALEK. "SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT". International Journal of Computational Intelligence and Applications 07, n.º 01 (marzo de 2008): 77–96. http://dx.doi.org/10.1142/s1469026808002193.
Texto completoDUCK, GREGORY J. "SMCHR: Satisfiability modulo constraint handling rules". Theory and Practice of Logic Programming 12, n.º 4-5 (julio de 2012): 601–18. http://dx.doi.org/10.1017/s1471068412000208.
Texto completoBalu, Radhakrishnan, Dale Shires y Raju Namburu. "A quantum algorithm for uniform sampling of models of propositional logic based on quantum probability". Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 16, n.º 1 (17 de mayo de 2016): 57–65. http://dx.doi.org/10.1177/1548512916648232.
Texto completoALVIANO, MARIO, SOTIRIS BATSAKIS y GEORGE BARYANNIS. "Modal Logic S5 Satisfiability in Answer Set Programming". Theory and Practice of Logic Programming 21, n.º 5 (septiembre de 2021): 527–42. http://dx.doi.org/10.1017/s1471068421000247.
Texto completoIgnatiev, Alexey, Yacine Izza, Peter J. Stuckey y Joao Marques-Silva. "Using MaxSAT for Efficient Explanations of Tree Ensembles". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 4 (28 de junio de 2022): 3776–85. http://dx.doi.org/10.1609/aaai.v36i4.20292.
Texto completoReith, Steffen y Heribert Vollmer. "Optimal satisfiability for propositional calculi and constraint satisfaction problems". Information and Computation 186, n.º 1 (octubre de 2003): 1–19. http://dx.doi.org/10.1016/s0890-5401(03)00092-0.
Texto completoHarche, F., J. N. Hooker y G. L. Thompson. "A Computational Study of Satisfiability Algorithms for Propositional Logic". ORSA Journal on Computing 6, n.º 4 (noviembre de 1994): 423–35. http://dx.doi.org/10.1287/ijoc.6.4.423.
Texto completoHamadi, Youssef, Saïd Jabbour y Lakhdar Saïs. "What we can learn from conflicts in propositional satisfiability". Annals of Operations Research 240, n.º 1 (1 de octubre de 2015): 13–37. http://dx.doi.org/10.1007/s10479-015-2028-9.
Texto completoBofill, Miquel, Joan Espasa y Mateu Villaret. "A Semantic Notion of Interference for Planning Modulo Theories". Proceedings of the International Conference on Automated Planning and Scheduling 26 (30 de marzo de 2016): 56–64. http://dx.doi.org/10.1609/icaps.v26i1.13734.
Texto completoLIMA, PRISCILA M. V., M. MARIELA M. MORVELI-ESPINOZA, GLAUCIA C. PEREIRA, TALITA O. FERREIRA y FELIPE M. G. FRANÇA. "LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS". International Journal of Pattern Recognition and Artificial Intelligence 22, n.º 05 (agosto de 2008): 1031–43. http://dx.doi.org/10.1142/s0218001408006673.
Texto completoCimatti, A., A. Griggio y R. Sebastiani. "Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories". Journal of Artificial Intelligence Research 40 (14 de abril de 2011): 701–28. http://dx.doi.org/10.1613/jair.3196.
Texto completoLimón-Priego, Yensen, Ismael Everardo Bárcenas-Patiño, Edgard Iván Benítez-Guerrero, Guillermo Gilberto Molero-Castillo y Alejandro Velazquez-Mena. "Mu-Calculus Satisfiability with Arithmetic Constraints". Proceedings of the Institute for System Programming of the RAS 33, n.º 2 (2021): 191–200. http://dx.doi.org/10.15514/ispras-2021-33(2)-12.
Texto completoBoudane, Abdelhamid, Saïd Jabbour, Lakhdar Sais y Yakoub Salhi. "SAT-Based Data Mining". International Journal on Artificial Intelligence Tools 27, n.º 01 (febrero de 2018): 1840002. http://dx.doi.org/10.1142/s021821301840002x.
Texto completoStefan Göller, Markus Lohrey y Carsten Lutz. "PDL with intersection and converse: satisfiability and infinite-state model checking". Journal of Symbolic Logic 74, n.º 1 (marzo de 2009): 279–314. http://dx.doi.org/10.2178/jsl/1231082313.
Texto completoNeumann, Frank y Andrew M. Sutton. "Evolving Solutions to Community-Structured Satisfiability Formulas". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 de julio de 2019): 2346–53. http://dx.doi.org/10.1609/aaai.v33i01.33012346.
Texto completoBakar, A. A., M. N. Sulaiman, M. Othman y M. H. Selamat. "Propositional Satisfiability Algorithm to Find Minimal Reducts for Data Mining". International Journal of Computer Mathematics 79, n.º 4 (enero de 2002): 379–89. http://dx.doi.org/10.1080/00207160210938.
Texto completoOhyanagi, Toshio, Masahito Yamamoto y Azuma Ohuchi. "An Algorithm for β Clause Satisfiability Problem in Propositional Logic". IEEJ Transactions on Electronics, Information and Systems 114, n.º 7-8 (1994): 796–804. http://dx.doi.org/10.1541/ieejeiss1987.114.7-8_796.
Texto completoWOLFMAN, STEVEN A. y DANIEL S. WELD. "Combining linear programming and satisfiability solving for resource planning". Knowledge Engineering Review 16, n.º 1 (marzo de 2001): 85–99. http://dx.doi.org/10.1017/s0269888901000017.
Texto completo