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)

On Geometric Alignment in Low Doubling Dimension AAAI 2019
Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019
A Recursive Algorithm for Projected Model Counting AAAI 2019
Automatic Construction of Parallel Portfolios via Explicit Instance Grouping AAAI 2019
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019
Regular Boardgames AAAI 2019
Generalized Distance Bribery AAAI 2019
On the Complexity of the Inverse Semivalue Problem for Weighted Voting Games AAAI 2019
Approximation and Hardness of Shift-Bribery AAAI 2019
Very Hard Electoral Control Problems AAAI 2019
Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking AAAI 2019
Random Walk Decay Centrality AAAI 2019
A Better Algorithm for Societal Tradeoffs AAAI 2019
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem AAAI 2019
On the Optimal Efficiency of Cost-Algebraic A* AAAI 2019
Evolving Solutions to Community-Structured Satisfiability Formulas AAAI 2019
Enriching Non-Parametric Bidirectional Search Algorithms AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019
Argumentation for Explainable Scheduling AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019