🧩 Complexity Theory - friedrice · Scour

On the Complexity of Signed Domination

🔗WCOJ Academic

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative

🧮SMT Solvers Academic

The Arithmetic Circuit Combinatorial Nullstellensatz is NP-hard

🧮SMT Solvers Academic

Towards Implementable Quantum Divide and Conquer: A TSP Solver with Improved Exponential Base over Held-Karp

⚛️Quantum Computing Academic

Average-Case and Smoothed Near-Optimality for Color-Code Decoding

🗂️Vector Indexes Academic

Temporal matching in trees

🔗Combinatorics Academic

Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality

📐Mathematics Academic

Odd Cycle Transversal in $P_k$-Free Graphs

🔗Combinatorics Academic

Bit-counting complexity classes

🔗Combinatorics Academic

Probabilistically Checking Quantum Proofs, with Interaction

📐Mathematics Academic

Validation of graph databases against PG-Schema

🔗WCOJ Academic

Efficiently Restructuring Sovereign Debt via Arctic Auctions with Convex Costs

🔗WCOJ Academic

Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems

🔍Vector Search Algorithms Academic

Non-obvious Manipulability in the Additively Separable Group Activity Selection Problem

🧮Constraint Solvers Academic

N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference

🔄Eventual Consistency Academic

Constant Approximation for Hylland--Zeckhauser Equilibria

🔄Eventual Consistency Academic

Discovering Data Structures: Nearest Neighbor Search and Beyond

📌Embedding Retrieval Academic

Complexity and Algorithms for Unary Translocation Distance

🔍Vector Search Algorithms Academic

DBHN-Net: Dual-Branch Hybrid Neural Network For Low-Complexity Monaural Speech Enhancement

〰️Signal Processing Academic

Menu Selection: A Computational Approach to Minimizing Food Waste

💰Cost-Based Optimization Academic

Log in to enable infinite scrolling