conftrace_
← Foundations
Computer Science › Foundations ›

Algorithms

1,298 papers

Papers per year

1
6
27
149
97
'05
'10
'15
'20
'25

Papers

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
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
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
Revisiting Wedge Sampling for Budgeted Maximum Inner Product Search (Extended Abstract) IJCAI 2021
Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021
Greybox Algorithm Configuration IJCAI 2021
Connect Multi-Agent Path Finding: Generation and Visualization IJCAI 2021
GOT: Testing for Originality in Natural Language Generation IJCNLP 2021
The Match-Extend serialization algorithm in Multiprecedence IJCNLP 2021
Reformulating DOVER-Lap Label Mapping as a Graph Partitioning Problem INTERSPEECH 2021
Finite Time LTI System Identification JMLR 2021
The ensmallen library for flexible numerical optimization JMLR 2021
Keyword Extraction Using Unsupervised Learning on the Document’s Adjacency Matrix NAACL 2021
PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021
Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing OSDI 2021