conftrace_
← Foundations
Computer Science › Foundations ›

Algorithms

1,298 papers

Papers per year

1
6
27
149
97
'05
'10
'15
'20
'25

Papers

Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017
On the Kernelization of Global Constraints IJCAI 2017
The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints IJCAI 2017
A Core-Guided Approach to Learning Optimal Causal Graphs IJCAI 2017
Learning to Run Heuristics in Tree Search IJCAI 2017
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017
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
On Querying Incomplete Information in Databases under Bag Semantics 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
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method 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