Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1511.08205
Cited By
v1
v2 (latest)
Breaking Symmetries in Graph Search with Canonizing Sets
25 November 2015
Avraham Itzhakov
M. Codish
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Breaking Symmetries in Graph Search with Canonizing Sets"
3 / 3 papers shown
Title
Co-Certificate Learning with SAT Modulo Symmetries
Markus Kirchweger
Tomávs Peitl
Stefan Szeider
24
14
0
17 Jun 2023
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems
David E. Narváez
20
1
0
17 Nov 2017
An adaptive prefix-assignment technique for symmetry reduction
Tommi A. Junttila
Matti Karppa
P. Kaski
J. Kohonen
22
7
0
26 Jun 2017
1