Fuzzy Maximum Satisfiability-Reference-Cited by-同舟云学术

Fuzzy Maximum Satisfiability

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th International Conference on Informatics and Systems - INFOS '16
language:
Short-container-title:

Author:

El Halaby Mohamed¹,Abdalla Areeg¹

Affiliation:

1. Department of Mathematics, Cairo University, Giza, Egypt

Publisher

ACM Press

Reference24 articles.

1. T. Alsinet, F. Manya, and J. Planes. A max-sat solver with lazy data structures. Advances in Artificial Intelligence--IBERAMIA 2004, pages 334--342, 2004.

2. X. An, M. Koshimura, H. Fujita, and R. Hasegawa. Qmaxsat version 0.3 & 0.4. In Proceedings of the International Workshop on First-Order Theorem Proving, FTP, pages 7--15, 2011.

3. C. Ansótegui, M. L. Bonet, and J. Levy. Sat-based maxsat algorithms. Artificial Intelligence, 196:77--105, 2013.

4. J. Argelich, D. L. Berre, I. Lynce, J. Marques-Silva, and P. Rapicault. Solving linux upgradeability problems using boolean optimization. arXiv preprint arXiv:1007.1021, 2010.

5. J. Argelich and I. Lynce. Cnf instances from the software package installation problem. In RCRA Workshop, 2008.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hybridised Intelligent Dynamic Model of 3-Satisfiability Fuzzy Logic Hopfield Neural Network;Pertanika Journal of Science and Technology;2023-05-24

2. 3SAT and Fuzzy-HornSAT in Hopfield Neural Network;Studies in Systems, Decision and Control;2022

3. Solving HornSAT Fuzzy Logic Neuro-symbolic Integration;Studies in Systems, Decision and Control;2022

4. New phase transitions for formulas in Łukasiewicz logic;Frontiers of Computer Science;2020-05-06

5. Learning the Satisfiability of Ł-clausal Forms;Advances in Intelligent Systems and Computing;2020