Model-Based Transformations for Quantified Boolean Formulas
(PAPERBACK)
Uwe Bubeck,
Ios Pr Inc (Publisher)
Published
2010
Reviews
0
Ships within days
Out Of Stock
₹0.00
₹0.00
0% off(PAPERBACK)
Uwe Bubeck,
Ios Pr Inc (Publisher)
Ships within days
Out Of Stock
The goal of this work is to support effective use of quantification by examining close relationships between formula structure and quantifier expressiveness. Useful subclasses with lower complexity are considered, in particular quantified Horn formulas and interesting generalizations thereof. From a theoretical and a practical point of view, this work presents efficient formula transformations and a pre-processing approach which allows the elimination of weak quantifiers from given QBF formulas in order to improve the performance of QBF solvers.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Science
