conftrace_
← Computer Science
Computer Science ›

Foundations

1,623 papers (0 classified directly here)

Subtopics

Algorithms (1,298) Graph Theory (190) Formal Languages (113) Programming Languages (46) Data Structures (39)

Papers per year

1
7
34
188
122
'05
'10
'15
'20
'25

Papers (including subtopics)

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
Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025
From Your Block to Our Block: How to Find Shared Structure Between Stochastic Block Models over Multiple Graphs AAAI 2025
Densest k-Subgraph Mining via a Provably Tight Relaxation AAAI 2025
The Complexity of Extending Fair Allocations of Indivisible Goods AAAI 2025
Balanced and Fair Partitioning of Friends AAAI 2025
Eliminating Majority Illusion Is Easy AAAI 2025
Proportionally Fair Makespan Approximation AAAI 2025
Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size AAAI 2025
Heterogeneous Multi-Robot Graph Coverage with Proximity and Movement Constraints AAAI 2025
Loosely Synchronized Rule-Based Planning for Multi-Agent Path Finding with Asynchronous Actions AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
First-Order Automata AAAI 2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
Column-Oriented Datalog on the GPU AAAI 2025
List Update with Prediction AAAI 2025
Weighted Embeddings for Low-Dimensional Graph Representation AAAI 2025
OneBatchPAM: A Fast and Frugal K-Medoids Algorithm AAAI 2025
THESAURUS: Contrastive Graph Clustering by Swapping Fused Gromov-Wasserstein Couplings AAAI 2025