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)

Sequential Signal Mixing Aggregation for Message Passing Graph Neural Networks NIPS 2024
RandNet-Parareal: a time-parallel PDE solver using Random Neural Networks NIPS 2024
ProG: A Graph Prompt Learning Benchmark NIPS 2024
Random Cycle Coding: Lossless Compression of Cluster Assignments via Bits-Back Coding NIPS 2024
Learning-Augmented Priority Queues NIPS 2024
Robust Blind Text Image Deblurring via Maximum Consensus Framework AAAI 2024
Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph AAAI 2024
Testing Self-Reducible Samplers AAAI 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024
Parallel Empirical Evaluations: Resilience despite Concurrency AAAI 2024
Locally Rainbow Paths AAAI 2024
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024
End-to-End Verification for Subgraph Solving AAAI 2024
SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning AAAI 2024
Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization AAAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024
Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024
What Are the Rules? Discovering Constraints from Data AAAI 2024
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection AAAI 2024
Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024