Results 41 to 50 of about 1,745,734 (114)

Boolean Expression Diagrams

, 2002
This paper presents a new data structure called boolean expression diagrams (BEDs) for representing and manipulating Boolean functions. BEDs are a generalization of binary decision diagrams (BDDs) which can represent any Boolean circuit in linear space ...
Andersen, Henrik Reif, Hulgaard, Henrik
core   +1 more source

On the Structure of Events in Boolean Games [PDF]

, 2014
Conventional Boolean games embody two important assumptions: (i) all events in the game occur simultaneously; and (ii) assignments to variables must be made in complete ignorance of the values assigned to other variables.
Bradfield, Julian; id_orcid, Gutierrez, Julian, Wooldridge, Michael   +2 more
core  

Minimal Boolean sum-of-product forms in prolog

, 1990
The method of consensus taking has been used to develop a program in PROLOG for the symbolic computation of the prime implicants and all the minimal sums for a Boolean expression given in a sum-of-product ...
Mitra, A.K.
core   +1 more source

Generalized satisfiability problems via operator assignments

Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used
Kolaitis, Phokion, Atserias, Albert, Severini, Simone   +2 more
core  

Implementing the ILAE 2025 seizure taxonomy in medical software. [PDF]

Front Comput Neurosci
Knight A, Jousea S, Peltola J.
europepmc   +1 more source

Quantum Algorithm for Variant Maximum Satisfiability. [PDF]

Entropy (Basel), 2022
Alasow A, Jin P, Perkowski M.
europepmc   +1 more source

Quantum cryptanalysis of ultralightweight mutual authentication protocols: A Grover's search model. [PDF]

PLoS One
Shahzadi M, Khalid M, Qadir S, Hussain M, Mujahid U, Najam-Ul-Islam M.   +5 more
europepmc   +1 more source

BHT-QAOA: The Generalization of Quantum Approximate Optimization Algorithm to Solve Arbitrary Boolean Problems as Hamiltonians. [PDF]

Entropy (Basel)
Al-Bayaty A, Perkowski M.
europepmc   +1 more source

Efficiency for robotic-assisted extraction of completely impacted supernumerary teeth in children: a randomized controlled trial. [PDF]

BMC Oral Health
Liu C, Di T, Chen Y, Wu LA, Bai S, Zhao Y.   +5 more
europepmc   +1 more source

An observational retrospective study of online owner perceptions of diet-related health signs in dogs using social media listening. [PDF]

J Vet Intern Med
Kaur JP, Hollands T, Clarke C, Tarrant G, Rai T, Street T, Wells K, Armstrong SK.   +7 more
europepmc   +1 more source