Demo Data from VLDB 2026 / reviewers in the wild / expert
Avraham Itzhakov
dblp:151/6589
· DBLP profile ↗
3ranked-venue papers
2as first author
1since 2021 · last 2023
0000-0003-1407-2040ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% | |
| Theoretical computer science
1 paper |
Graph algorithms and graph theory · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint satisfaction
symmetry breaking |
0.4 | 1 | 2020 | Incremental Symmetry Breaking Constraints for Graph Search Problems · AAAI 2020 |
Graph algorithms and graph theory › graph algorithms
graph search |
0.4 | 1 | 2020 | Incremental Symmetry Breaking Constraints for Graph Search Problems · AAAI 2020 |
Methods — techniques the papers use, named apart from their topics
parallel search · 0.9incremental symmetry breaking constraints · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Breaking Symmetries with High Dimensional Graph Invariants and Their Combination
Avraham Itzhakov, Michael Codish |
CPAIOR | 1 |
| 2020 | Incremental Symmetry Breaking Constraints for Graph Search ProblemsabstractThis paper introduces incremental symmetry breaking constraints for graph search problems which are complete and compact. We show that these constraints can be computed incrementally: A symmetry breaking constraint for order n graphs can be extended to one for order n + 1 graphs. Moreover, these constraints induce a special property on their canonical solutions: An order n canonical graph contains a canonical subgraph on the first k vertices for every 1 ≤ k ≤ n. This facilitates a “generate and extend” paradigm for parallel graph search problem solving: To solve a graph search problem φ on order n graphs, first generate the canonical graphs of some order k < n. Then, compute canonical solutions for φ by extending, in parallel, each canonical order k graph together with suitable symmetry breaking constraints. The contribution is that the proposed symmetry breaking constraints enable us to extend the order k canonical graphs to order n canonical solutions. We demonstrate our approach through its application on two hard graph search problems. Avraham Itzhakov, Michael Codish |
AAAI | 1 |
| 2016 | Breaking Symmetries in Graphs: The Nauty Way
Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
CP | 3 |