2 papers
cs.AI2017
Exploiting the Pruning Power of Strong Local Consistencies Through Parallelization
Minas Dasygenis, Kostas Stergiou
Local consistencies stronger than arc consistency have received a lot of attention since the early days of CSP research. %because of the strong pruning they can achieve. However, t…
cs.AR2015
Generation and Validation of Custom Multiplication IP Blocks from the Web
Minas Dasygenis
Every CPU carries one or more arithmetical and logical units. One popular operation that is performed by these units is multiplication. Automatic generation of custom VHDL models f…