conftrace_
← Topics

Computer Science

5,747 papers (0 classified directly here)

Subtopics

Applications (3,823) Foundations (1,623) Systems (601)

Papers per year

1
18
96
551
887
'05
'10
'15
'20
'25

Papers (including subtopics)

Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms ICML 2017
Minimizing Trust Leaks for Robust Sybil Detection ICML 2017
Fast k-Nearest Neighbour Search via Prioritized DCI ICML 2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017
Distributed Mean Estimation with Limited Communication ICML 2017
Online Learning to Rank in Stochastic Click Models ICML 2017
Multiwinner Rules on Paths From k-Borda to Chamberlin–Courant IJCAI 2017
Constraint-Based Symmetry Detection in General Game Playing IJCAI 2017
Computing an Approximately Optimal Agreeable Set of Items IJCAI 2017
An Admissible HTN Planning Heuristic IJCAI 2017
Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions IJCAI 2017
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017
On the Kernelization of Global Constraints IJCAI 2017
The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints IJCAI 2017
A Core-Guided Approach to Learning Optimal Causal Graphs IJCAI 2017
Learning to Run Heuristics in Tree Search IJCAI 2017
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers IJCAI 2017
A Partitioning Algorithm for Maximum Common Subgraph Problems IJCAI 2017
Constraint Games revisited IJCAI 2017
On Neighborhood Singleton Consistencies IJCAI 2017
Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017
A General Notion of Equivalence for Abstract Argumentation IJCAI 2017