| Document Date: 2014-07-31 09:58:16
Open Document File Size: 276,69 KBShare Result on Facebook
City QBF / / Company CNF / The MIT Press / ABC / bloqqer+QRAT / IOS Press / AIG / AAAI Press / / / Event Product Issues / Product Recall / / Facility Johannes Kepler University / Armin Biere The University of Texas / / IndustryTerm circuit simplification tool / synthesis applications / extraction tool / validation tool / research network / validation algorithm / comparison with other tools / function extraction tool / search-based solvers / search-based approaches / basic algorithm / function extraction algorithm / / MusicGroup ABC / / Organization University of Texas at Austin / National Science Foundation / Vienna Science and Technology Fund / Austrian Science Fund / MIT / / Person Martina Seidl / Van Gelder / A. Van Gelder / A. Goultiaeva / Goultiaeva Gelder / F. Bacchus / / Position existential player / universal player / / Product Skolem function extraction tool / Xtreme FS1 Headphone/Headset / Skolem / Table / / Technology basic QRAT validation algorithm / Skolem function extraction algorithm / search-based DPLL algorithm / basic algorithm / / URL http /
SocialTag |
Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere