Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1402.0568
Cited By
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
4 February 2014
Amit Metodi
M. Codish
Peter Stuckey
Re-assign community
ArXiv (abs)
PDF
HTML
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
Avraham Itzhakov
M. Codish
44
15
0
25 Nov 2015
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
M. Codish
Michael Frank
Avraham Itzhakov
Alice Miller
39
2
0
18 Sep 2014
1