research
∙
05/18/2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
We present Self-Driven Strategy Learning (sdsl), a lightweight online le...
share
research
∙
06/18/2021
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
We present a novel approach to pre-silicon verification of processor des...
research
∙
06/09/2020
A Theoretical Framework for Symbolic Quick Error Detection
Symbolic quick error detection (SQED) is a formal pre-silicon verificati...
research
∙
04/29/2019
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties
We present version 2.0 of QRATPre+, a preprocessor for quantified Boolea...
research
∙
07/24/2018
Expansion-Based QBF Solving Without Recursion
In recent years, expansion-based techniques have been shown to be very p...
research
∙
04/09/2018
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
The QRAT (quantified resolution asymmetric tautology) proof system simul...
research
∙
04/13/2016
HordeQBF: A Modular and Massively Parallel QBF Solver
The recently developed massively parallel satisfiability (SAT) solver Ho...
research
∙
05/28/2014