🧩 Complexity Theory - friedrice · Scour

Odd Cycle Transversal in $P_k$-Free Graphs

🔗Combinatorics Academic

Sim2Schedule: A Simulator-Guided LLM Framework for Autonomous Open-Pit Mine Scheduling

📐TLA+ Academic

Probabilistically Checking Quantum Proofs, with Interaction

📐Mathematics 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

Temporal matching in trees

🔗Combinatorics Academic

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

🔄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

Menu Selection: A Computational Approach to Minimizing Food Waste

💰Cost-Based Optimization Academic

Bit-counting complexity classes

🔗Combinatorics Academic

Local Search on Vertex Coloring for Bipartite Graphs

🔗Combinatorics Academic

Validation of graph databases against PG-Schema

🔗WCOJ Academic

Hybrid Metaheuristic Combining the Dragonfly Algorithm and Tabu Search for the Traveling Salesman Problem

🔍Vector Search Algorithms Academic

Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization

🎲Probability Academic

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

🧮Constraint Solvers Academic

A space-time sparse-grid method for the wave equation

📊Columnar Execution Academic

Constant Approximation for Hylland--Zeckhauser Equilibria

🔄Eventual Consistency Academic

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

〰️Signal Processing Academic

ATT-CR: Adaptive Triangular Transformer for Cloud Removal

〰️Signal Processing Academic

Log in to enable infinite scrolling