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)

Optimal Quasi-clique: Hardness, Equivalence with Densest-k-Subgraph, and Quasi-partitioned Community Mining AAAI 2024
Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain AAAI 2024
Low-Distortion Clustering with Ordinal and Limited Cardinal Information AAAI 2024
An Exercise in Tournament Design: When Some Matches Must Be Scheduled AAAI 2024
Reachability of Fair Allocations via Sequential Exchanges AAAI 2024
Repeated Fair Allocation of Indivisible Items AAAI 2024
Spatial Voting with Incomplete Voter Information AAAI 2024
Proportional Representation in Metric Spaces and Low-Distortion Committee Selection AAAI 2024
Towards Optimal Subsidy Bounds for Envy-Freeable Allocations AAAI 2024
Strategyproof Mechanisms for Group-Fair Obnoxious Facility Location Problems AAAI 2024
Opponent-Model Search in Games with Incomplete Information AAAI 2024
Double Auction on Diffusion Network AAAI 2024
Unravelling Expressive Delegations: Complexity and Normative Analysis AAAI 2024
On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria AAAI 2024
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024
Submodel Enumeration for CTL Is Hard AAAI 2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Exact ASP Counting with Compact Encodings AAAI 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Optimised Storage for Datalog Reasoning AAAI 2024