E-LIB Suche - Ergebnisse für: Plaisted, David A.

1

Automatic Parallelization of Programs via Software Stream R..:

, In: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW),

Tao, Tao ; Plaisted, David - p. 541-551 , 2022

Link: https://doi.org/10.1109/..

2

Interactive Online Configurator via Boolean Satisfiability ..:

, In: The 12th International Conference on Advances in Information Technology,

Tao, Tao ; Plaisted, David - p. 1-8 , 2021

Link: https://dl.acm.org/doi/1..

3

The Aspect Calculus:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,

Plaisted, David A. - p. 406-424 , 2019

Link: https://doi.org/10.1007/..

4

Semantically-Guided Goal-Sensitive Reasoning: Inference Sys..:

Bonacina, Maria Paola ; Plaisted, David A.
Journal of Automated Reasoning. 59 (2016) 2 - p. 165-218 , 2016

Link: https://doi.org/10.1007/..

5

Semantically-Guided Goal-Sensitive Reasoning: Model Represe..:

Bonacina, Maria Paola ; Plaisted, David A.
Journal of Automated Reasoning. 56 (2015) 2 - p. 113-141 , 2015

Link: https://doi.org/10.1007/..

6

Automated theorem proving:

Plaisted, David A.
WIREs Cognitive Science. 5 (2014) 2 - p. 115-128 , 2014

Link: https://doi.org/10.1002/..

7

Source-to-Source Translation and Software Engineering:

Plaisted, David A.
Journal of Software Engineering and Applications. 6 (2013) 4 - p. 30-40 , 2013

Link: https://doi.org/10.4236/..

8

Chapter 1 Knowledge Representation and Classical Logic:

, In: Handbook of Knowledge Representation; Foundations of Artificial Intelligence,

Lifschitz, Vladimir ; Morgenstern, Leora ; Plaisted, David - p. 3-88 , 2008

Link: https://doi.org/10.1016/..

9

A satisfiability procedure for quantified Boolean formulae:

Plaisted, David A. ; Biere, Armin ; Zhu, Yunshan
Discrete Applied Mathematics. 130 (2003) 2 - p. 291-328 , 2003

Link: https://doi.org/10.1016/..

10

A relevance restriction strategy for automated deduction:

Plaisted, David A ; Yahya, Adnan
Artificial Intelligence. 144 (2003) 1-2 - p. 59-93 , 2003

Link: https://doi.org/10.1016/..

11

Normal Form Transformations:

, In: Handbook of Automated Reasoning,

Baaz, Matthias ; Egly, Uwe ; Leitsch, Alexander.. - p. 273-333 , 2001

Link: https://doi.org/10.1016/..

12

Rewriting:

, In: Handbook of Automated Reasoning,

Dershowitz, Nachum ; Plaisted, David A. - p. 535-610 , 2001

Link: https://doi.org/10.1016/..

13

Special Cases and Substitutes for Rigid E -Unification:

Plaisted, David A.
Applicable Algebra in Engineering, Communication and Computing. 10 (2000) 2 - p. 97-152 , 2000

Link: https://doi.org/10.1007/..

14

The efficiency of theorem proving strategies

a comparative and asymptotic analysis Computational intelligence

Plaisted, David A. - 2., rev. ed. . , 1999

Copies: Zentrale:E02 a inf 430 e/433

15

The complexity of some complementation problems:

Plaisted, David A. ; Kucherov, Gregory
Information Processing Letters. 71 (1999) 3-4 - p. 159-165 , 1999

Link: https://doi.org/10.1016/..