research
∙
12/19/2022
Fast Converging Anytime Model Counting
Model counting is a fundamental problem which has been influential in ma...
share
research
∙
11/27/2022
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction
A central problem in computational biophysics is protein structure predi...
research
∙
02/21/2022
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Knowledge compilation concerns with the compilation of representation la...
research
∙
01/22/2020
Benchmarking Symbolic Execution Using Constraint Problems – Initial Results
Symbolic execution is a powerful technique for bug finding and program t...
research
∙
05/10/2018
Learning Robust Search Strategies Using a Bandit-Based Approach
Effective solving of constraint problems often requires choosing good or...
research
∙
05/06/2018
Correlation Heuristics for Constraint Programming
Effective general-purpose search strategies are an important component i...
research
∙
04/25/2018
Shape Neutral Analysis of Graph-based Data-structures
Malformed data-structures can lead to runtime errors such as arbitrary m...
research
∙
04/13/2018
An Extended Low Fat Allocator API and Applications
The primary function of memory allocators is to allocate and deallocate ...
research
∙
10/17/2017