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)

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
Massively Parallel Single-Source SimRanks in O(log N) Rounds IJCAI 2024
WeatherGNN: Exploiting Meteo- and Spatial-Dependencies for Local Numerical Weather Prediction Bias-Correction 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
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 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
Contrastive General Graph Matching with Adaptive Augmentation Sampling IJCAI 2024
Automated CPU Design by Learning from Input-Output Examples IJCAI 2024
Deep Neural Networks via Complex Network Theory: A Perspective IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Dynamicity-aware Social Bot Detection with Dynamic Graph Transformers IJCAI 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
ADELT: Transpilation between Deep Learning Frameworks IJCAI 2024