Search

Your search keyword '"Weaver, Sean"' showing total 4 results

Search Constraints

Start Over You searched for: Author "Weaver, Sean" Remove constraint Author: "Weaver, Sean" Topic boolean formula Remove constraint Topic: boolean formula
4 results on '"Weaver, Sean"'

Search Results

1. Speeding up MUS Extraction with Preprocessing and Chunking

2. SAT-Based Horn Least Upper Bounds

3. Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

4. Preprocessing for DQBF

Catalog

Books, media, physical & digital resources