Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Co-authors
(8)
Christoph Meinel
6
Thomas Eiter
4
Stefan Woltran
4
Mohammad Ghasemzadeh
4
Hans Tompits
4
Conferences
(2)
AUS-AI
1
TABLEAUX
1
Keywords
(24)
Embed
Subscribe
Academic
Authors
Volker Klotz
Edit
Volker Klotz
University of Trier
Publications: 10
|
Citations: 31
|
G-Index: 5
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
8 co-authors
from 2000 to 2006
; Cited by
15 authors
Bing
Cumulative
Annual
Order by:
Publications
(10)
BibTeX
|
EndNote
|
RefWorks
Download
The first 10 years of the ECCC digital library
Christoph Meinel
,
Volker Klotz
Published in 2006.
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
(
Citations: 4
)
Mohammad Ghasemzadeh
,
Volker Klotz
,
Christoph Meinel
Conference:
Australian Joint Conference on Artificial Intelligence - AUS-AI
, pp. 681-693, 2004
Strengthening Semantic-tree Method in evaluating QBFs
(
Citations: 1
)
Mohammad GhasemZadeh
,
Volker Klotz
,
Christoph Meinel
Published in 2004.
Representation and Evaluation of QBFs in Prenex-NNF
Mohammad GhasemZadeh
,
Volker Klotz
,
Christoph Meinel
Published in 2004.
FZQSAT: A QSAT Solver for QBFs in Prenex NNF (A Useful Tool for Circuit Verification)
Mohammad GhasemZadeh
,
Volker Klotz
,
Christoph Meinel
Published in 2004.
Order by:
Citations
(31 times by 22 publications)
A solver for QBFs in negation normal form
(
Citations: 6
)
Uwe Egly
,
Martina Seidl
,
Stefan Woltran
Published in 2009.
Characterising equilibrium logic and nested logic programs: Reductions and complexity
(
Citations: 2
)
David Pearce
,
Hans Tompits
,
Stefan Woltran
Published in 2009.
K-terminal Network Reliability Evaluation Using Binary Decision Diagram
Mohammad Ghasemzadeh
,
Christoph Meinel
,
Sara Khanji
Published in 2008.
A Solver for QBFs in Nonprenex Form
(
Citations: 14
)
Uwe Egly
,
Martina Seidl
,
Stefan Woltran
Published in 2006.
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
(
Citations: 6
)
Uwe Egly
,
Stefan Woltran
Published in 2006.
Comments