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. 1402.0568
  4. Cited By
Boolean Equi-propagation for Concise and Efficient SAT Encodings of
  Combinatorial Problems

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

4 February 2014
Amit Metodi
M. Codish
Peter Stuckey
ArXiv (abs)PDFHTML

Papers citing "Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems"

3 / 3 papers shown
Title
Breaking Symmetries in Graph Search with Canonizing Sets
Breaking Symmetries in Graph Search with Canonizing Sets
Avraham Itzhakov
M. Codish
39
15
0
25 Nov 2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry
  breaking
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
M. Codish
Michael Frank
Avraham Itzhakov
Alice Miller
15
25
0
28 Oct 2015
Solving Graph Coloring Problems with Abstraction and Symmetry
Solving Graph Coloring Problems with Abstraction and Symmetry
M. Codish
Michael Frank
Avraham Itzhakov
Alice Miller
39
2
0
18 Sep 2014
1