Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.
Olivier ZeyenMaxime CordyGilles PerrouinMathieu AcherPublished in: FormaliSE@ICSE (2024)
Keyphrases
- random sampling
- preprocessing
- active learning
- sample size
- sampling algorithm
- sampling procedure
- adaptive sampling
- sliding window
- random projections
- sampling methods
- random samples
- answer set programming
- stratified sampling
- computational complexity
- feature extraction
- query by committee
- version space
- worst case
- robust estimator
- machine learning