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)

HDQMF: Holographic Feature Decomposition Using Quantum Algorithms CVPR 2024
Efficient Solution of Point-Line Absolute Pose CVPR 2024
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
An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024
Enhaced Apertium System: Translation into Low-Resource Languages of Spain Spanish–Asturian EMNLP 2024
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024
Guidance Graph Optimization for Lifelong Multi-Agent Path Finding IJCAI 2024
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability 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
A Graph-based Representation Framework for Trajectory Recovery via Spatiotemporal Interval-Informed Seq2Seq 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
Primal Grammars Driven Automated Induction 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