ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1511.08205
  4. Cited By
Breaking Symmetries in Graph Search with Canonizing Sets
v1v2 (latest)

Breaking Symmetries in Graph Search with Canonizing Sets

25 November 2015
Avraham Itzhakov
M. Codish
ArXiv (abs)PDFHTML

Papers citing "Breaking Symmetries in Graph Search with Canonizing Sets"

3 / 3 papers shown
Title
Co-Certificate Learning with SAT Modulo Symmetries
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
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
An adaptive prefix-assignment technique for symmetry reduction
Tommi A. Junttila
Matti Karppa
P. Kaski
J. Kohonen
22
7
0
26 Jun 2017
1