Search Results for 'heule'

heule published presentations and documents on DocSlides.

C ONTRIBUTED ESEARCH RTICLES Cryptographic Boolean Functions with R by Frdric Latte Dirk Van Heule and Julien Van hamme Abstract A new package called boolfun is avail able for R users

by karlyn-bohler

The package provides tools to handle Boolean func...

A SAT Approach to CliqueWidth Marijn J

by conchita-marotz

H Heule and Stefan Szeider Department of Compute...

DRATtrim Ecient Checking and Trimming Using Expressive

by briana-ranney

H Heule and Warren A Hunt Jr The University of Te...