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)

CIMON: Towards High-quality Hash Codes IJCAI 2021
Deep Unified Cross-Modality Hashing by Pairwise Data Alignment IJCAI 2021
Rescuing Deep Hashing from Dead Bits Problem IJCAI 2021
Reducing SAT to Max2SAT IJCAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
Solving Graph Homomorphism and Subgraph Isomorphism Problems Faster Through Clique Neighbourhood Constraints IJCAI 2021
Computing Optimal Hypertree Decompositions with SAT IJCAI 2021
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
On the Relation Between Approximation Fixpoint Theory and Justification Theory IJCAI 2021
Ranking Extensions in Abstract Argumentation IJCAI 2021
Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021
Exact Acceleration of K-Means++ and K-Means|| IJCAI 2021
TEC: A Time Evolving Contextual Graph Model for Speaker State Analysis in Political Debates IJCAI 2021
Predictive Job Scheduling under Uncertain Constraints in Cloud Computing IJCAI 2021
Adapting Meta Knowledge with Heterogeneous Information Network for COVID-19 Themed Malicious Repository Detection IJCAI 2021
Incorporating Queueing Dynamics into Schedule-Driven Traffic Control IJCAI 2021
Interference-free Walks in Time: Temporally Disjoint Paths IJCAI 2021
Anytime Multi-Agent Path Finding via Large Neighborhood Search IJCAI 2021
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming IJCAI 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
End-to-End Constrained Optimization Learning: A Survey IJCAI 2021
Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges IJCAI 2021
Hierarchical Graph Traversal for Aggregate k Nearest Neighbors Search in Road Networks (Extended Abstract) IJCAI 2021