Results 171 to 180 of about 20,200 (225)

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

An Algebraic Analysis of Trivium Ciphers based on the Boolean Satisfiability Problem. [PDF]

, 2007
Cameron McDonald, Chris Charnes, Josef Pieprzyk   +2 more
openalex  

Two-Phase Distributed Genetic-Based Algorithm for Time-Aware Shaper Scheduling in Industrial Sensor Networks. [PDF]

Sensors (Basel)
Chang RI, Hsu TW, Chen YT.
europepmc   +1 more source

Foundations of reasoning with uncertainty via real-valued logics. [PDF]

Proc Natl Acad Sci U S A
Fagin R, Riegel R, Gray A.
europepmc   +1 more source

3SAT on an all-to-all-connected CMOS Ising solver chip. [PDF]

Sci Rep
Cılasun H, Zeng Z, S R, Kumar A, Lo H, Cho W, Moy W, Kim CH, Karpuzcu UR, Sapatnekar SS.   +9 more
europepmc   +1 more source

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source

Several Issues on the Boolean Satisfiability (SAT) Problem

, 2004
Pushkin R. Pari
openalex   +1 more source

Complexity and Stop Conditions for NP as General Assignment Problems, the Travel Salesman Problem in R 2 , Knight Tour Problem and Boolean Satisfiability Problem. [PDF]

, 2016
Carlos Barrón-Romero
openalex  

The Firefighter problem with dynamic defence costs. [PDF]

PLoS One
Hunter E, Enright J.
europepmc   +1 more source

A Scalable Approach to IoT Interoperability: The Share Pattern. [PDF]

Sensors (Basel)
Petracci R, Culmone R.
europepmc   +1 more source