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)

UrBench: A Comprehensive Benchmark for Evaluating Large Multimodal Models in Multi-View Urban Scenarios AAAI 2025
SceneX: Procedural Controllable Large-Scale Scene Generation AAAI 2025
GLIC: General Format Learned Image Compression AAAI 2025
Large Images Are Gaussians: High-Quality Large Image Representation with Levels of 2D Gaussian Splatting AAAI 2025
Thin-Plate Spline-based Interpolation for Animation Line Inbetweening AAAI 2025
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025
Exploiting Symmetries in MUS Computation AAAI 2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
GPU-Accelerated Parallel Bilevel Optimization for Roubst 6G ISAC AAAI 2025
Complete Symmetry Breaking for Finite Models AAAI 2025
Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Towards Real-Time Approximate Counting AAAI 2025
The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025
Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025
Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025
Designing Specialized Two-Dimensional Graph Spectral Filters for Spatial-Temporal Graph Modeling AAAI 2025
Responsive Dynamic Graph Disentanglement for Metro Flow Forecasting AAAI 2025
Distribution-Driven Dense Retrieval: Modeling Many-to-One Query-Document Relationship AAAI 2025
From Your Block to Our Block: How to Find Shared Structure Between Stochastic Block Models over Multiple Graphs AAAI 2025
Exploiting Fine-Grained Skip Behaviors for Micro-Video Recommendation AAAI 2025