Author of the publication

On computing minimal independent support and its applications to sampling and counting.

, , , and . Constraints An Int. J., 21 (1): 41-58 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing., and . DATE, page 1244-1249. IEEE Computer Society, (2004)Evaluating the security of logic encryption algorithms., , and . HOST, page 137-143. IEEE Computer Society, (2015)Exploiting Retiming in a Guided Simulation Based Validation Methodology., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 350-353. Springer, (1999)On Solving the Partial MAX-SAT Problem., and . SAT, volume 4121 of Lecture Notes in Computer Science, page 252-265. Springer, (2006)System Level Design: Orthogonolization of Concerns and Platform-Based Design, , , , and . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (December 2000)A formal instruction-level GPU model for scalable verification., , , and . ICCAD, page 130. ACM, (2018)Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation., and . CP, volume 2470 of Lecture Notes in Computer Science, page 200-215. Springer, (2002)A Retargetable Very Long Instruction Word Compiler Framework for Digital Signal Processors., and . The Compiler Design Handbook, 2nd ed., CRC Press, (2007)Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability., , , and . DAC, page 194-199. ACM Press, (1998)Static Timing Analysis of Embedded Software., , and . DAC, page 147-152. ACM Press, (1997)