Search
Search Results
-
Reducibility Constraints in Superposition
Modern superposition inference systems aim at reducing the search space by introducing redundancy criteria on clauses and inferences. This paper... -
Superposition with Delayed Unification
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the... -
-
Lightweight Leakage-Resilient PRNG from TBCs Using Superposition
In this paper, we propose a leakage-resilient pseudo-random number generator (PRNG) design that leverages the rekeying techniques of the PSV-Enc... -
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
We show that SCL(FOL) can simulate the derivation of non-redundant clauses by superposition for first-order logic without equality.... -
A Strict Constrained Superposition Calculus for Graphs
We propose a superposition-based proof procedure to reason on equational first order formulas defined over graphs. First, we introduce the considered... -
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Bachmair’s and Ganzinger’s abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition... -
A Texture Display Device Based on Multi-coil Superposition Driving Method
It is a challenge to develop high spatial resolution texture display devices using electromagnetic-driven methods, as the magnetic driving force... -
Dispelling myths on superposition attacks: formal security model and attack analyses
With the emergence of quantum communication, it is of folkloric belief that the security of classical cryptographic protocols is automatically broken...
-
Making Higher-Order Superposition Work
Superposition is among the most successful calculi for first-order logic. Its extension to higher-order logic introduces new challenges such as...
-
A multipermutation superposition coding-based fragile watermarking for probabilistic encryption
Considering the requirements of comprehensive data security protection in the current distributed technology environment, this paper proposes a new...
-
Superposition with Lambdas
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but...
-
Adaptive controller based on quantum computation and coherent superposition fuzzy rules network with unknown nonlinearities
In the realm of control engineering applications, compensating for unknown dynamics and nonlinearities is of paramount importance for sha**...
-
Ground Joinability and Connectedness in the Superposition Calculus
Problems in many theories axiomatised by unit equalities (UEQ), such as groups, loops, lattices, and other algebraic structures, are notoriously... -
Model Completeness, Uniform Interpolants and Superposition Calculus
Uniform interpolants have been largely studied in non-classical propositional logics since the nineties; a successive research line within the...
-
Superposition for Full Higher-order Logic
We recently designed two calculi as step** stones towards superposition for full higher-order logic: Boolean-free... -
Making Higher-Order Superposition Work
Superposition is among the most successful calculi for first-order logic. Its extension to higher-order logic introduces new challenges such as... -
Superposition with First-class Booleans and Inprocessing Clausification
We present a complete superposition calculus for first-order logic with an interpreted Boolean type. Our motivation is to lay the foundation for... -
Superposition Meet-in-the-Middle Attacks: Updates on Fundamental Security of AES-like Hashing
The Meet-in-the-Middle approach is one of the most powerful cryptanalysis techniques, demonstrated by its applications in preimage attacks on the... -
Distributionally-Robust Optimization for Sustainable Exploitation of the Infinite-Dimensional Superposition of Affine Processes with an Application to Fish Migration
We consider a novel modeling and computational framework of the distributionally-robust optimization problem of jump-driven general affine process...