Sciweavers

Share
18 search results - page 1 / 4
» lpar 2004
Sort
View
LPAR
2004
Springer
10 years 5 months ago
Ordered Resolution with Selection for H(@)
Carlos Areces, Daniel Gorín
LPAR
2004
Springer
10 years 5 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
LPAR
2004
Springer
10 years 5 months ago
Evaluating QBFs via Symbolic Skolemization
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
Marco Benedetti
books