Results 121 to 130 of about 62,255 (228)
The complexity of satisfiability problems
Symposium on the Theory of Computing, 1978 T. Schaefer
semanticscholar +1 more source
Augmenting an electronic Ising machine to effectively solve boolean satisfiability. [PDF]
Sci Rep, 2023 Sharma A, Burns M, Hahn A, Huang M.
europepmc +1 more source
Tautological formal explanations: does prior knowledge affect their satisfiability? [PDF]
Front Psychol, 2023 Aslanov I, Guerra E.
europepmc +1 more source
Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]
Sensors (Basel), 2023 Kim J, Park J.
europepmc +1 more source
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Trans. Computers, 1999 Joao Marques-Silva, K. Sakallah
semanticscholar +1 more source
Satisfiability in composition-nominative logics
Open Computer Science, 2012 Nikitchenko Mykola, Tymofieiev Valentyn
doaj +1 more source
WGT: Tools and algorithms for recognizing, visualizing, and generating Wheeler graphs. [PDF]
iScience, 2023 Chao KH, Chen PW, Seshia SA, Langmead B.
europepmc +1 more source
Satisfiability Modulo Theories
Handbook of Model Checking, 2018 Clark W. Barrett, C. Tinelli
semanticscholar +1 more source
Synthesising Programs with Non-trivial Constants. [PDF]
J Autom Reason, 2023 Abate A +8 more
europepmc +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source