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)

Recursive Reinforcement Learning NIPS 2022
The Query Complexity of Cake Cutting NIPS 2022
Self-Explaining Deviations for Coordination NIPS 2022
Graph Reordering for Cache-Efficient Near Neighbor Search NIPS 2022
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
Faster Algorithms for Weak Backdoors AAAI 2022
Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022
Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022
The SoftCumulative Constraint with Quadratic Penalty AAAI 2022
A Variant of Concurrent Constraint Programming on GPU AAAI 2022
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022
Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Differentially Describing Groups of Graphs AAAI 2022
Fair and Truthful Giveaway Lotteries AAAI 2022
Pizza Sharing Is PPA-Hard AAAI 2022
The Complexity of Subelection Isomorphism Problems AAAI 2022
Hedonic Diversity Games: A Complexity Picture with More than Two Colors AAAI 2022
Secretary Matching with Vertex Arrivals and No Rejections AAAI 2022
PageRank for Edges: Axiomatic Characterization AAAI 2022
Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions AAAI 2022
ASP-Based Declarative Process Mining AAAI 2022
Monotone Abstractions in Ontology-Based Data Management AAAI 2022