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)

Correlation Clustering via Strong Triadic Closure Labeling: Fast Approximation Algorithms and Practical Lower Bounds ICML 2022
Searching for BurgerFormer with Micro-Meso-Macro Space Design ICML 2022
Understanding Distance Measures Among Elections IJCAI 2022
An Analysis of the Linear Bilateral ANAC Domains Using the MiCRO Benchmark Strategy IJCAI 2022
Explaining Preferences by Multiple Patterns in Voters’ Behavior IJCAI 2022
Maxmin Participatory Budgeting IJCAI 2022
How to Sample Approval Elections? IJCAI 2022
Efficient Multi-Agent Communication via Shapley Message Value IJCAI 2022
On the Complexity of Calculating Approval-Based Winners in Candidates-Embedded Metrics IJCAI 2022
Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games IJCAI 2022
Approximately EFX Allocations for Indivisible Chores IJCAI 2022
Fine-grained Complexity of Partial Minimum Satisfiability IJCAI 2022
QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022
Large Neighbourhood Search for Anytime MaxSAT Solving IJCAI 2022
Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability IJCAI 2022
Best Heuristic Identification for Constraint Satisfaction IJCAI 2022
An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022
Inverting 43-step MD4 via Cube-and-Conquer IJCAI 2022
Filtration-Enhanced Graph Transformation IJCAI 2022
Disentangling the Computational Complexity of Network Untangling IJCAI 2022
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits IJCAI 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022
Graph Masked Autoencoder Enhanced Predictor for Neural Architecture Search IJCAI 2022
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) IJCAI 2022
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022