Similar Items: Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
- Convergence and complexity of block majorization-minimization for constrained block-Riemannian optimization
- Extended Resolution Clause Learning via Dual Implication Points
- Reliable Chain-Based Authentication Protocol Over Enhanced Arbiter PUF
- Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
- A PARALLEL APPROACH FOR METAHEURISTICS SOLVING THE LABS PROBLEM USING CPU AND GPU
- Epistemic Skills: Reasoning about Knowledge and Oblivion