conftrace_
← Foundations
Computer Science › Foundations ›

Algorithms

1,298 papers

Papers per year

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

Papers

TutteNet: Injective 3D Deformations by Composition of 2D Mesh Deformations CVPR 2024
Probabilistic Sampling of Balanced K-Means using Adiabatic Quantum Computing CVPR 2024
KITRO: Refining Human Mesh by 2D Clues and Kinematic-tree Rotation CVPR 2024
A* shortest string decoding for non-idempotent semirings EACL 2024
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024
Guidance Graph Optimization for Lifelong Multi-Agent Path Finding IJCAI 2024
Solving Quantified Boolean Formulas with Few Existential Variables IJCAI 2024
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers IJCAI 2024
Parameterized Analysis of Bribery in Challenge the Champ Tournaments IJCAI 2024
Popular and Dominant Matchings with Uncertain and Multimodal Preferences IJCAI 2024
Individual Rationality in Topological Distance Games Is Surprisingly Hard IJCAI 2024
Determining Winners in Elections with Absent Votes IJCAI 2024
Sampling Winners in Ranked Choice Voting IJCAI 2024
The Distortion of Threshold Approval Matching IJCAI 2024
Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024
Preferred Reasoning in ABA by Cycle-Breaking IJCAI 2024
A Tensor-Based Formalization of the Event Calculus IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Scalable Landmark Hub Labeling for Optimal and Bounded Suboptimal Pathfinding IJCAI 2024
Improved Approximation Algorithms for Capacitated Location Routing IJCAI 2024
Zeta*-SIPP: Improved Time-Optimal Any-Angle Safe-Interval Path Planning IJCAI 2024
A Survey on Rank Aggregation IJCAI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024