Výsledky vyhledávání - (("boolean satisfiability problem") OR ("boolean satisfiability problemys"))

Multi-armed Bandit Algorithms for the Boolean Satisfiability Problem: A Survey

Autoři: Zhihui Xie Xu Liu Shuai Li

Zdroj: Proceedings of the International Symposium on Combinatorial Search. 18:221-229

Dynamic Analog Circuit Netlisting for Solving the Boolean Satisfiability Problem

Autoři: Sejal Singh Bhavani Namrata Venkatnarayan Hariharan

Zdroj: 2024 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT). :1-6

Progress in the Study of the Boolean Satisfiability Problem

Autoři: Mengyu Guo

Zdroj: International Journal of Computer Science and Information Technology. 2:217-225

Machine Learning Methods in Solving the Boolean Satisfiability Problem

Autoři: Wenxuan Guo Hui-Ling Zhen Xijun Li a další

Zdroj: Machine Intelligence Research. 20:640-655

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2203.04755

SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem

Autoři: Wenjing Chang Wenlong Liu

Zdroj: Electronics ; Volume 14 ; Issue 3 ; Pages: 423

Témata: Boolean satisfiability problem (SAT), random 3-SAT, graph neural network (GNN), message-passing neural networks (MPNNs), dynamic attention mechanisms (GATv2), artificial intelligence

Popis souboru: application/pdf

Relation: https://dx.doi.org/10.3390/electronics14030423

Dostupnost: https://doi.org/10.3390/electronics14030423

Training-free and stochastic magnetic tunnel junction-based restricted Boltzmann machine for Boolean satisfiability problem.

Autoři: Duan, Wei Cao, Zhen Wang, Kaiyuan a další

Zdroj: Applied Physics Letters. 5/26/2025, Vol. 126 Issue 21, p1-5. 5p.

Témata: *LOGIC circuit design, *BOLTZMANN machine, *MAGNETIC tunnelling, *LOGIC circuits, *NAND gates

Boolean Satisfiability Problem: Discrete and Continuous Reformulations with Applications

Autoři: Oksana Pichugina Olha Matsyi

Zdroj: 2020 IEEE 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET). :623-627

Témata: 0211 other engineering and technologies, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Přístupová URL adresa: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=9088684
http://xplorestaging.ieee.org/ielx7/9083930/9088513/09088684.pdf?arnumber=9088684

Quantum solution to the Boolean satisfiability problem

Autoři: Yash Prabhat

The Boolean SATisfiability Problem in Clifford algebra

Autoři: Budinich, Marco

Přispěvatelé: Budinich, Marco

Zdroj: Theoretical Computer Science. 784:1-10

Témata: FOS: Computer and information sciences, Geometric algebra, Computer Science - Computational Complexity, Satisfiability, Clifford algebra, 0103 physical sciences, FOS: Physical sciences, Mathematical Physics (math-ph), Computational Complexity (cs.CC), 0101 mathematics, 01 natural sciences, Mathematical Physics

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1704.02942
http://arxiv.org/abs/1704.02942
https://www.sciencedirect.com/science/article/pii/S0304397519301938
http://hdl.handle.net/11368/2941686
https://www.sciencedirect.com/science/article/pii/S0304397519301938
https://arts.units.it/handle/11368/2941686
https://arxiv.org/abs/1704.02942
https://ui.adsabs.harvard.edu/abs/2017arXiv170402942B/abstract
https://arxiv.org/pdf/1704.02942
https://dblp.uni-trier.de/db/journals/corr/corr1704.html#Budinich17a
https://www.sciencedirect.com/science/article/pii/S0304397519301938
https://doi.org/10.1016/j.tcs.2019.03.027
https://hdl.handle.net/11368/2941686

Classified enhancement model for big data storage reliability based on Boolean satisfiability problem

Autoři: Latifur Khan Hong Huang Shaohua Zhou

Zdroj: Cluster Computing. 23:483-492

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Přístupová URL adresa: https://link.springer.com/10.1007/s10586-019-02941-1
https://link.springer.com/article/10.1007/s10586-019-02941-1
https://dblp.uni-trier.de/db/journals/cluster/cluster23.html#HuangKS20

Machine Learning Methods in Solving the Boolean Satisfiability Problem

Autoři: Guo, Wenxuan Yan, Junchi Zhen, Hui-Ling a další

Témata: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2203.04755

A Complex Task Scheduling Scheme for Big Data Platforms Based on Boolean Satisfiability Problem

Autoři: Wei Yong Latifur Khan Ayoade Gbadebo a další

Zdroj: 2018 IEEE International Conference on Information Reuse and Integration (IRI). :170-177

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 3. Good health

Přístupová URL adresa: https://libtreasures.utdallas.edu/handle/10735.1/6667
https://dblp.uni-trier.de/db/conf/iri/iri2018.html#HongKGSY18
https://ieeexplore.ieee.org/document/8424704
https://www.computer.org/csdl/proceedings-article/iri/2018/265901a170/12OmNzZ5ob7

The Clifford algebra of $R^{n,n}$ and the Boolean Satisfiability Problem

Autoři: Budinich, Marco

Témata: FOS: Physical sciences, 0102 computer and information sciences, Mathematical Physics (math-ph), 0101 mathematics, 01 natural sciences, Mathematical Physics

Přístupová URL adresa: http://arxiv.org/abs/2103.03623

Engineering the development of quantum programs: Application to the Boolean satisfiability problem

Autoři: Universidad Politécnica de Cartagena Alonso Cáceres, Diego Sánchez Palma, Pedro a další

Témata: Quantum computing, Model-driven engineering, Boolean satisfiability, info:eu-repo/semantics/article

URL: http://hdl.handle.net/10317/12159
https://www.sciencedirect.com/science/article/pii/S0965997822001211
https://www.sciencedirect.com/science/article/pii/S0965997822001211

ON GENERIC NP-COMPLETENESS OF THE BOOLEAN SATISFIABILITY PROBLEM

Autoři: A. N. Rybalov

Zdroj: Prikladnaya diskretnaya matematika. :106-112

Témata: 0103 physical sciences, 0102 computer and information sciences, 01 natural sciences

Přístupová URL adresa: http://journals.tsu.ru/pdm/&journal_page=archive&id=1591&article_id=35292

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem

Autoři: Zhidong Zhang

Zdroj: Mathematics, Vol 11, Iss 1, p 237 (2023)

Témata: spin-glass 3D Ising model, Boolean satisfiability, computational complexity, topology, Mathematics, QA1-939

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2227-7390/11/1/237; https://doaj.org/toc/2227-7390

Přístupová URL adresa: https://doaj.org/article/4c3744fe7a684872aeadb5bd653dbb0f

A quantum annealing approach for boolean satisfiability problem

Autoři: Tianheng Tu Lei He Juexiao Su

Zdroj: Proceedings of the 53rd Annual Design Automation Conference. :1-6

Témata: 0103 physical sciences, 01 natural sciences

Přístupová URL adresa: https://dl.acm.org/citation.cfm?id=2897973
https://dblp.uni-trier.de/db/conf/dac/dac2016.html#SuTH16
https://ieeexplore.ieee.org/abstract/document/7544390
https://dl.acm.org/doi/pdf/10.1145/2897937.2897973

Note for the Boolean Satisfiability Problem

Autoři: Vega, Frank

Problems of search for collisions of cryptographic hash functions of the MD family as variants of Boolean satisfiability problem

Zdroj: Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie). :61-77

Přístupová URL adresa: https://en.num-meth.ru/index.php/journal/article/download/813/820

Modified Neural Net for the Boolean Satisfiability Problem

Autoři: Manuel Mejia-Lavalle A Jose Ruiz Marilu Cervantes S a další

Zdroj: 2015 International Conference on Mechatronics, Electronics and Automotive Engineering (ICMEAE). :64-69

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

Přístupová URL adresa: https://ieeexplore.ieee.org/document/7386196/
http://ieeexplore.ieee.org/document/7386196/