conftrace_
← Topics

Computer Science

5,693 papers (0 classified directly here)

Subtopics

Applications (3,478) Foundations (1,617) Systems (1,007)

Papers per year

Papers (including subtopics)

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
GSO-Net: Grid Surface Optimization via Learning Geometric Constraints 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
Signed Graph Neural Ordinary Differential Equation for Modeling Continuous-Time Dynamics AAAI 2024
Knowledge-Enhanced Historical Document Segmentation and Recognition AAAI 2024
Efficient Representation Learning of Satellite Image Time Series and Their Fusion for Spatiotemporal Applications AAAI 2024
Social-Aware Group Display Configuration in VR Conference AAAI 2024
Optimal Quasi-clique: Hardness, Equivalence with Densest-k-Subgraph, and Quasi-partitioned Community Mining AAAI 2024