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)

Modeling Reduplication with 2-way Finite-State Transducers EMNLP 2018
Sanskrit n-Retroflexion is Input-Output Tier-Based Strictly Local EMNLP 2018
MISSION: Ultra Large-Scale Feature Selection using Count-Sketches ICML 2018
Proportional Allocation: Simple, Distributed, and Diverse Matching with High Entropy ICML 2018
Learning to Branch ICML 2018
Parallel and Streaming Algorithms for K-Core Decomposition ICML 2018
Parameterized Algorithms for the Matrix Completion Problem ICML 2018
Self-Bounded Prediction Suffix Tree via Approximate String Matching ICML 2018
Out-of-sample extension of graph adjacency spectral embedding ICML 2018
Spectrally Approximating Large Graphs with Smaller Graphs ICML 2018
Coded Sparse Matrix Multiplication ICML 2018
Local Density Estimation in High Dimensions ICML 2018
Computing the Schulze Method for Large-Scale Preference Data Sets IJCAI 2018
An Operational Semantics for a Fragment of PRS IJCAI 2018
Winning a Tournament by Any Means Necessary IJCAI 2018
Computational Social Choice Meets Databases IJCAI 2018
Dynamic Fair Division Problem with General Valuations IJCAI 2018
Maximin Share Allocations on Cycles IJCAI 2018
Extended Increasing Cost Tree Search for Non-Unit Cost Domains IJCAI 2018
Exact Algorithms and Complexity of Kidney Exchange IJCAI 2018
Divide and Conquer: Towards Faster Pseudo-Boolean Solving IJCAI 2018
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection IJCAI 2018
Learning Optimal Decision Trees with SAT IJCAI 2018