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)

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers IJCAI 2017
A Partitioning Algorithm for Maximum Common Subgraph Problems IJCAI 2017
Constraint Games revisited IJCAI 2017
On Neighborhood Singleton Consistencies IJCAI 2017
Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017
A General Notion of Equivalence for Abstract Argumentation IJCAI 2017
Query Answering in Ontologies under Preference Rankings IJCAI 2017
On Querying Incomplete Information in Databases under Bag Semantics IJCAI 2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017
The Tractability of the Shapley Value over Bounded Treewidth Matching Games IJCAI 2017
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change IJCAI 2017
Generalized Target Assignment and Path Finding Using Answer Set Programming IJCAI 2017
Symbolic LTLf Synthesis IJCAI 2017
Efficient Optimal Search under Expensive Edge Cost Computation IJCAI 2017
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search IJCAI 2017
Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs IJCAI 2017
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017
Intuitionistic Layered Graph Logic IJCAI 2017
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method IJCAI 2017
A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017
Efficient Mechanism Design for Online Scheduling (Extended Abstract) IJCAI 2017
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) IJCAI 2017
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract) IJCAI 2017
SAT-Based Approaches for the General High School Timetabling Problem IJCAI 2017
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017