research
∙
05/14/2014
Grounding Bound Founded Answer Set Programs
To appear in Theory and Practice of Logic Programming (TPLP) Bound Fou...
share
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
∙
01/16/2014
