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)

Constraint-based Learning of Phonological Processes EMNLP 2019
DepDist: Surface realization via regex and learned dependency-distance tolerance EMNLP 2019
IMSurReal: IMS at the Surface Realization Shared Task 2019 EMNLP 2019
Progressive-X: Efficient, Anytime, Multi-Model Fitting Algorithm ICCV 2019
Convolutional Approximations to the General Non-Line-of-Sight Imaging Operator ICCV 2019
New Convex Relaxations for MRF Inference With Unknown Graphs ICCV 2019
Coresets for Ordered Weighted Clustering ICML 2019
A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes ICML 2019
Sublinear Time Nearest Neighbor Search over Generalized Weighted Space ICML 2019
On Succinct Encodings for the Tournament Fixing Problem IJCAI 2019
Learning Swarm Behaviors using Grammatical Evolution and Behavior Trees IJCAI 2019
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding IJCAI 2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring IJCAI 2019
Resolution and Domination: An Improved Exact MaxSAT Algorithm IJCAI 2019
Path Planning with CPD Heuristics IJCAI 2019
Direction-Optimizing Breadth-First Search with External Memory Storage IJCAI 2019
Branch-and-Cut-and-Price for Multi-Agent Pathfinding IJCAI 2019
The Complexity of Model Checking Knowledge and Time IJCAI 2019
Toward Efficient Navigation of Massive-Scale Geo-Textual Streams IJCAI 2019
Earliest-Completion Scheduling of Contract Algorithms with End Guarantees IJCAI 2019
Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT IJCAI 2019
Clause Learning and New Bounds for Graph Coloring IJCAI 2019
Optimally Efficient Bidirectional Search IJCAI 2019
A Survey on Hierarchical Planning – One Abstract Idea, Many Concrete Realizations IJCAI 2019
Matching with Constraints IJCAI 2019