Authors: FICHTE, JOHANNES K.¹, LE BERRE, DANIEL², HECHER, MARKUS³ hecher@mit.edu, SZEIDER, STEFAN⁴

Superior Title: Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.

Subject Terms: *COMPUTER science, SATISFIABILITY (Computer science), MATHEMATICAL logic, BOOLEAN functions, MACHINE learning

Authors: Fattebert, Jean-Luc, Negre, Christian F. A., Finkelstein, Joshua, Mohd-Yusof, Jamaludin, Osei-Kuffuor, Daniel, Wall, Michael E., Zhang, Yu, Bock, Nicolas, Mniszewski, Susan M.

Superior Title: Journal of Chemical Physics; 3/28/2024, Vol. 160 Issue 12, p1-16, 16p

Subject Terms: ELECTRONIC structure, DENSITY matrices, LINEAR algebra, DENSITY functional theory, BENCHMARK problems (Computer science), GRAPH algorithms, SATISFIABILITY (Computer science)

Authors: Monroe, Don¹

Superior Title: Communications of the ACM. May2021, Vol. 64 Issue 5, p10-12. 3p. 1 Diagram.

Subject Terms: HYPERCUBES, SATISFIABILITY (Computer science), MATHEMATICAL proofs, CONFIRMATION (Logic), TILING (Mathematics)

Authors: Oparin, Gennady¹ prn51@ice.ru, Bogdanova, Vera¹, Pashinin, Anton¹

Superior Title: Mathematics in Engineering, Science & Aerospace (MESA). 2024, Vol. 15 Issue 1, p31-41. 11p.

Subject Terms: *BOOLEAN networks, *SATISFIABILITY (Computer science), *LOGIC, *VECTOR control, *DYNAMICAL systems

Authors: Brandl, Florian, Brandt, Felix, Eberl, Manuel, Geist, Christian

Superior Title: Journal of the ACM. Jan2018, Vol. 65 Issue 2, p1-28. 28p.

Subject Terms: SATISFIABILITY (Computer science), SOCIAL choice, STOCHASTIC dominance, SATISFACTION, ARITHMETIC

Authors: Koca, Esra, Koksalan, G. Irmak

Superior Title: International Journal of Production Research; Oct2023, Vol. 61 Issue 19, p6589-6601, 13p, 1 Chart, 1 Graph

Subject Terms: CARBON emissions, COST functions, INDUSTRIAL costs, DYNAMIC programming, SATISFIABILITY (Computer science), GENERALIZATION, POLYNOMIAL time algorithms

Authors: BARBOSA, HANIEL, BARRETT, CLARK, COOK, BYRON, DUTERTRE, BRUNO, KREMER, GEREON, LACHNITT, HANNA, NIEMETZ, AINA, NÖTZLI, ANDRES, OZDEMIR, ALEX, PREINER, MATHIAS, REYNOLDS, ANDREW, TINELLI, CESARE, ZOHAR, YONI

Superior Title: Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams

Subject Terms: REASONING, AUTOMATION, DEBUGGING, COMPUTER security vulnerabilities, SATISFIABILITY (Computer science), TRUST

Authors: FRANEK, PETER¹ peter.franek@gmail.com, KRĆÁL, MAREK²

Superior Title: Journal of the ACM. Aug2015, Vol. 62 Issue 4, p1-19. 19p.

Subject Terms: SATISFIABILITY (Computer science), EQUATIONS, NONLINEAR equations, TOPOLOGY, MATHEMATICAL functions

Authors: Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Venturato, Gabriele

Superior Title: Journal of Automated Reasoning; Jun2024, Vol. 68 Issue 2, p1-32, 32p

Subject Terms: SATISFIABILITY (Computer science), LOGIC, ARTIFICIAL intelligence, FORMAL languages, BIJECTIONS

Authors: Peltier, Nicolas

Superior Title: Journal of Logic & Computation; Apr2024, Vol. 34 Issue 3, p429-464, 36p

Subject Terms: DATA structures, SATISFIABILITY (Computer science), TRANSMISSION of sound, AXIOMS, CALCULI

Authors: Matos Pedro, André, Silva, Tomás, Sequeira, Tiago, Lourenço, João, Seco, João Costa, Ferreira, Carla

Superior Title: International Journal on Software Tools for Technology Transfer; Apr2024, Vol. 26 Issue 2, p169-188, 20p

Subject Terms: FIRST-order logic, SPATIAL behavior, SATISFIABILITY (Computer science), COMPUTER systems, AUTONOMOUS vehicles, AUTOMOBILE industry

Geographic Terms: VIENNA (Austria)

Authors: Chen, Ju, Kasihmuddin, Mohd Shareduwan Mohd, Mansor, Mohd. Asyraf, Jamaludin, Siti Zulaikha Mohd, Zamri, Nur Ezlin

Superior Title: AIP Conference Proceedings; 2024, Vol. 2895 Issue 1, p1-8, 8p

Subject Terms: HOPFIELD networks, ARTIFICIAL intelligence, KNOWLEDGE representation (Information theory), SATISFIABILITY (Computer science), PROPOSITION (Logic), NP-complete problems

Authors: Eder, Johannes¹ (AUTHOR) eder@fortiss.org, Voss, Sebastian¹ (AUTHOR), Bayha, Andreas¹ (AUTHOR), Ipatiov, Alexandru² (AUTHOR), Khalil, Maged² (AUTHOR)

Superior Title: Software & Systems Modeling. Jul2020, Vol. 19 Issue 4, p911-934. 24p.

Subject Terms: *SATISFIABILITY (Computer science), *SPACE exploration, *SYSTEMS development, *HARDWARE

Authors: Peng, Cong^1,2 (AUTHOR) ppcc1988@outlook.com, Xu, Zhongwei¹ (AUTHOR), Mei, Meng¹ (AUTHOR)

Superior Title: PLoS ONE. 4/23/2020, Vol. 15 Issue 4, p1-16. 16p.

Subject Terms: *SATISFIABILITY (Computer science), *NP-complete problems, *THEORY-practice relationship, *HEURISTIC, *SPARROWS, *MULTICASTING (Computer networks)

Authors: Oparin, Gennady, Bogdanova, Vera, Pashinin, Anton

Superior Title: Mathematics in Engineering, Science & Aerospace (MESA); 2024, Vol. 15 Issue 1, p57-69, 13p

Subject Terms: BOOLEAN networks, LINEAR systems, SATISFIABILITY (Computer science)

Authors: Nurcahyadi, Teddy, Blum, Christian

Superior Title: AIP Conference Proceedings; 2023, Vol. 2837 Issue 1, p1-9, 9p

Subject Terms: ANT algorithms, PROCESS optimization, OPTIMIZATION algorithms, LINEAR programming, COMBINATORIAL optimization, ANTS, SATISFIABILITY (Computer science)

Company/Entity: INTERNATIONAL Business Machines Corp.

Authors: Sadykov, R. F.^1,2 (AUTHOR) sadykov@ispras.ru, Mandrykin, M. U.² (AUTHOR) mandrykin@ispras.ru

Superior Title: Programming & Computer Software. Dec2022, Vol. 48 Issue 8, p770-780. 11p.

Subject Terms: *BOUNDED arithmetics, *SATISFIABILITY (Computer science), *SOURCE code, *LOGIC

Authors: BHATTI, IRAM TARIQ, NASEER, MAHUM, SHAFIQUE, MUHAMMAD, HASAN, OSMAN

Superior Title: Communications of the ACM; Nov2022, Vol. 65 Issue 11, p70-73, 4p, 1 Color Photograph, 3 Diagrams, 3 Graphs

Subject Terms: ARTIFICIAL neural networks, SIGNAL-to-noise ratio, DATA analysis, STATISTICAL bias, LINEAR programming, SATISFIABILITY (Computer science)

Authors: Charwat, Günther¹ (AUTHOR) gcharwat@dbai.tuwien.ac.at, Woltran, Stefan¹ (AUTHOR), Maratea, Marco (AUTHOR), Serina, Ivan (AUTHOR), Torroni, Paolo (AUTHOR)

Superior Title: Fundamenta Informaticae. 2019, Vol. 167 Issue 1/2, p59-92. 34p.

Subject Terms: *DYNAMIC programming, *SATISFIABILITY (Computer science), *DEAD trees, *TREES, *CHARTS, diagrams, etc.

Authors: Lopez Pombo, Carlos G.¹ (AUTHOR) clpombo@dc.uba.ar, Castro, Pablo F.² (AUTHOR) pcastro@dc.exa.unrc.edu.ar, Aguirre, Nazareno M.² (AUTHOR) naguirre@dc.exa.unrc.edu.ar, Maibaum, Thomas S.E.³ (AUTHOR) tom@maibaum.org

Superior Title: Fundamenta Informaticae. 2019, Vol. 166 Issue 4, p297-347. 51p.

Subject Terms: *SATISFIABILITY (Computer science), *CALCULUS, *PROOF theory, *ABSTRACT thought, *COMPUTER science, *MODEL theory