← Computer Science
Computer Science ›

Foundations

0 directly classified papers

Subtopics

Algorithms (1295) Graph Theory (189) Formal Languages (110) Programming Languages (46) Data Structures (39)

Papers (including subtopics)

Exact Algorithms for Distance to Unique Vertex Cover AAAI 2026
The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques AAAI 2026
Certified Branch-and-Bound MaxSAT Solving AAAI 2026
How Hard Is It to Rig a Tournament When Few Players Can Beat or Be Beaten by the Favorite? AAAI 2026
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction AAAI 2026
Universal Safety Controllers with Learned Prophecies AAAI 2026
Deeper Treatment of the Bi-objective Search Framework AAAI 2026
CATBench: A Compiler Autotuning Benchmarking Suite for Black-box Optimization AUTOML 2025
Symbolic Functional Decomposition: A Reconfiguration Approach AAAI 2025
GRICP: Granular-Ball Iterative Closest Point with Multikernel Correntropy for Point Cloud Fine Registration AAAI 2025
Weighted Poisson-disk Resampling on Large-Scale Point Clouds AAAI 2025
Multi-Shape Matching with Cycle Consistency Basis via Functional Maps AAAI 2025
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025
Exploiting Symmetries in MUS Computation AAAI 2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Complete Symmetry Breaking for Finite Models AAAI 2025
Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Towards Real-Time Approximate Counting AAAI 2025
The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025
Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025