×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [hardware software verification]
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing Bistra Dilkina, Carla Gomes, Ashish Sabharwal Cornell University
213 views
Constraint Satisfaction Problem: Used to model constrained combinatorial problems Important real-world applications: hardware & software verification,
222 views
Configuring Random CSP Generators to Favor a Particular Consistency Algorithm
67 views
Hidden Structure in Constraint Reasoning Problems
41 views
Tradeoffs in Backdoors : Inconsistency Detection, Dynamic Simplification, and Preprocessing
35 views
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers
57 views