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)

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
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
Distributed Pareto Optimization for Subset Selection 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
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying 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
Complementary Binary Quantization for Joint Multiple Indexing IJCAI 2018
Summarizing Source Code with Transferred API Knowledge IJCAI 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Discrete Factorization Machines for Fast Feature-based Recommendation IJCAI 2018