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

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer

Autoři: He, Yihan Hong, Ming-Chun Zheng, Wanli a další

Témata: FOS: Physical sciences, Computational Physics (physics.comp-ph), Physics - Computational Physics

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

Accurate Modeling of Continuous-time SAT Solvers in SPICE

Autoři: Pershin, Y. V. Nguyen, D. C.

Zdroj: Radioengineering. 34:526-540

Témata: SPICE, FOS: Computer and information sciences, 3-SAT, computing technology, Emerging Technologies (cs.ET), boolean satisfiability problem, Computer Science - Emerging Technologies, FOS: Physical sciences, nonlinear dynamical systems, Chaotic Dynamics (nlin.CD), Nonlinear Sciences - Chaotic Dynamics

Popis souboru: text; application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2412.14690
https://hdl.handle.net/11012/255413

A Fine-Grained Complexity View on Propositional Abduction: Algorithms and Lower Bounds

Autoři: Lagerkvist, V. Maizia, Mohamed Schmidt, Johannes

Zdroj: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence International Joint Conferences on Artifical Intelligence (IJCAI). :4562-4569

Témata: Computational complexity, Formal logic, Abductive reasoning, Boolean satisfiability problems, Complete problems, Complexity results, Complexity theory, Fast solvers, Fine grained, Low bound, Monotonics, Non-monotonic reasoning, Knowledge based systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-70264
https://doi.org/10.24963/ijcai.2025/508

Accurate Modeling of Continuous-time SAT Solvers in SPICE

Autoři: Y. V. Pershin D. C. Nguyen

Zdroj: Radioengineering, Vol 34, Iss 3, Pp 526-540 (2025)

Témata: spice, nonlinear dynamical systems, computing technology, boolean satisfiability problem, 3-sat, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: https://www.radioeng.cz/fulltexts/2025/25_03_0526_0540.pdf; https://doaj.org/toc/1210-2512

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

Dense Implicant Cubes in Boolean Satisfiability Problems

Additional Titles: Tiheät implikanttikuutiot Boolen toteutuvuusongelmissa

Autoři: Janhunen, Tomi Perustieteiden korkeakoulu Lipping, Joonas

Témata: G2 Pro gradu, diplomityö

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

Autoři: Chang, Wenjing Liu, Wenlong

Zdroj: Electronics (2079-9292); Feb2025, Vol. 14 Issue 3, p423, 23p

Témata: GRAPH neural networks, ARTIFICIAL intelligence, DEEP learning, REPRESENTATIONS of graphs, OPERATIONS research, SATISFIABILITY (Computer science)

HPC-based parallel software for solving applied Boolean satisfiability problems

Autoři: A. A. Pashinin V. G. Bogdanova S. A. Gorsky

Zdroj: 2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO). :1006-1011

Témata: 0206 medical engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/mipro/mipro2020.html#BogdanovaGP20
https://doi.org/10.23919/MIPRO48935.2020.9245400

Scalable parallel solver of boolean satisfiability problems

Autoři: S. A. Gorsky V. G. Bogdanova

Zdroj: 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). :0222-0227

Témata: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/mipro/mipro2018.html#BogdanovaG18

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

Inverse Design of Self-Folding 3D Shells

Autoři: Pinto, Diogo E. P. Araújo, Nuno A. M. Šulc, Petr a další

Zdroj: Physical Review Letters

Témata: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences, self-assembly, DNA, Boolean satisfiability problems, coarse-grained, design dimensions, design-process, external conditions, folding process, foldings, inverse designs, target structure, three-dimensional structure, Soft Condensed Matter (cond-mat.soft), FOS: Physical sciences, Condensed Matter - Soft Condensed Matter

Popis souboru: application/pdf

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/38563942
http://arxiv.org/abs/2310.03537

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling

Autoři: ZEYEN, Olivier CORDY, Maxime Perrouin, Gilles a další

Zdroj: urn:isbn:9798400705892 ; Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024 (2024-04-14); Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Prt [Prt], 14-04-2024 => 15-04-2024

Témata: Boolean formulae, Boolean satisfiability problems, Performance, Random sampling, SAT solvers, SAT-based, Search spaces, Software, Uniform Random Sampling, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://orbilu.uni.lu/handle/10993/61583; info:hdl:10993/61583; https://orbilu.uni.lu/bitstream/10993/61583/1/3644033.3644371.pdf

Dostupnost: https://orbilu.uni.lu/handle/10993/61583
https://orbilu.uni.lu/bitstream/10993/61583/1/3644033.3644371.pdf
https://doi.org/10.1145/3644033.3644371

A Fully Integrated Mixed-Signal Compute-In-Memory Accelerator for Solving Arbitrary Order Boolean Satisfiability Problems

Autoři: Tinish Bhattacharya Dongseok Kwon George Higgins Hutchinson a další

Zdroj: 2025 Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits). :1-3

Automatically Transforming Object-Oriented Graph-Based Representations Into Boolean Satisfiability Problems for Computational Design Synthesis.

Autoři: Münzer, Clemens Helms, Bergen Shea, Kristina

Zdroj: Journal of Mechanical Design. Oct2013, Vol. 135 Issue 10, p101001-13. 13p.

Témata: *GRAPH theory, *BOOLEAN functions, *BLOCKS (Building materials), *CHEMICAL processes, *MATHEMATICAL combinations, *AUTOMOTIVE engineering, *ETHANOL

A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.

Autoři: FRANCÈS DE MAS, JORDINA BOWLES, JULIANA

Zdroj: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p374-393, 20p

Témata: PROPOSITION (Logic), SATISFIABILITY (Computer science), COMPUTATIONAL complexity, GRAPH theory, MATHEMATICAL simplification

People: PEIRCE, Charles S. (Charles Sanders), 1839-1914

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

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

Zdroj: Applied Physics Letters. 126

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

Solving Boolean satisfiability problems with resistive content addressable memories

Autoři: Pedretti, Giacomo Böhm, Fabian Bhattacharya, Tinish a další

Zdroj: npj Unconventional Computing. 2

Témata: FOS: Computer and information sciences, Emerging Technologies (cs.ET), Computer Science - Emerging Technologies

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

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

Computing high-degree polynomial gradients in memory.

Autoři: Bhattacharya, Tinish Hutchinson, George H. Pedretti, Giacomo a další

Zdroj: Nature Communications; 9/18/2024, Vol. 15 Issue 1, p1-11, 11p

Témata: OPTIMIZATION algorithms, COMBINATORIAL optimization, ENERGY consumption, POLYNOMIALS, FLAVOR

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