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)

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization IJCAI 2018
A Reactive Strategy for High-Level Consistency During Search IJCAI 2018
A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies IJCAI 2018
The FastMap Algorithm for Shortest Path Computations IJCAI 2018
An Exact Algorithm for Maximum k-Plexes in Massive Graphs IJCAI 2018
A Fast Algorithm for Optimally Finding Partially Disjoint Shortest Paths IJCAI 2018
Best-Case and Worst-Case Behavior of Greedy Best-First Search IJCAI 2018
Understanding Subgoal Graphs by Augmenting Contraction Hierarchies IJCAI 2018
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs IJCAI 2018
Synthesizing Pattern Programs from Examples IJCAI 2018
An Efficient Algorithm To Compute Distance Between Lexicographic Preference Trees IJCAI 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018
Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018
Finding Frequent Entities in Continuous Data IJCAI 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Improving Information Centrality of a Node in Complex Networks by Adding Edges IJCAI 2018
Adversarial Task Assignment IJCAI 2018
Functional Partitioning of Ontologies for Natural Language Query Completion in Question Answering Systems IJCAI 2018
Novel Structural Parameters for Acyclic Planning Using Tree Embeddings IJCAI 2018
Analyzing Tie-Breaking Strategies for the A* Algorithm IJCAI 2018
Complexity of Scheduling Charging in the Smart Grid IJCAI 2018
Interactive Robot Transition Repair With SMT IJCAI 2018
Cost-Based Goal Recognition for the Path-Planning Domain IJCAI 2018
Maintenance of Case Bases: Current Algorithms after Fifty Years IJCAI 2018