research
∙
07/02/2018
A SAT Encoding for the n-Fractions Problem
This note describes a SAT encoding for the n-fractions puzzle which is p...
share
research
∙
11/25/2015
Breaking Symmetries in Graph Search with Canonizing Sets
There are many complex combinatorial problems which involve searching fo...
research
∙
10/28/2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
∙
09/18/2014
Solving Graph Coloring Problems with Abstraction and Symmetry
This paper introduces a general methodology, based on abstraction and sy...
research
∙
02/04/2014
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
We present an approach to propagation-based SAT encoding of combinatoria...
research
∙
04/24/2011