David A. Plaisted
According to our database^{1},
David A. Plaisted
authored at least 103 papers
between 1972 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on id.loc.gov

on cs.unc.edu

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2021
Proceedings of the IAIT 2021: The 12th International Conference on Advances in Information Technology, Bangkok, Thailand, 29 June 2021, 2021
2020
CoRR, 2020
CoRR, 2020
2019
CoRR, 2019
Proceedings of the Automated Deduction  CADE 27, 2019
2017
J. Autom. Reason., 2017
2016
J. Autom. Reason., 2016
2015
Proceedings of the Automated Deduction  CADE25, 2015
2014
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014
2013
Proceedings of the Programming Logics  Essays in Memory of Harald Ganzinger, 2013
2008
Proceedings of the Handbook of Knowledge Representation, 2008
2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
2003
Discret. Appl. Math., 2003
CoRR, 2003
CoRR, 2003
Artif. Intell., 2003
2002
J. Autom. Reason., 2002
2001
J. Autom. Reason., 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
J. Autom. Reason., 2000
Appl. Algebra Eng. Commun. Comput., 2000
1999
Sci. Comput. Program., 1999
Inf. Process. Lett., 1999
1998
J. Autom. Reason., 1998
Proceedings of the Automated Deduction in Classical and NonClassical Logics, 1998
1997
J. Autom. Reason., 1997
J. Autom. Reason., 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
The efficiency of theorem proving strategies  a comparative and asymptotic analysis.
Computational intelligence, Vieweg, ISBN: 9783528055745, 1997
1996
Inf. Comput., 1996
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
1995
Future Gener. Comput. Syst., 1995
Controlling the Consumption of Storage with Sliding Priority Search in a HyperLinking Based Theorem Prover.
Comput. Artif. Intell., 1995
1994
Methods Log. Comput. Sci., 1994
J. Log. Program., 1994
Fundam. Informaticae, 1994
Artif. Intell., 1994
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
J. Symb. Comput., 1993
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time.
J. ACM, 1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
J. Autom. Reason., 1992
Artif. Intell., 1992
Use of Unit Clauses and Clause Splitting in Automatic Deduction.
Proceedings of the Computing and Information, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
Proceedings of the Automated Deduction, 1992
1991
Theor. Comput. Sci., 1991
J. Symb. Comput., 1991
1990
IEEE Trans. Computers, 1990
SIAM J. Comput., 1990
J. Autom. Reason., 1990
Inf. Comput., 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Refinements to DepthFirst IterativeDeepening Search in Automatic Theorem Proving.
Artif. Intell., 1989
Programming with Equations, Subsets, and Relations.
Proceedings of the Logic Programming, 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
1988
J. Autom. Reason., 1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time.
Proceedings of the 9th International Conference on Automated Deduction, 1988
1987
J. Algorithms, 1987
Proceedings of the Functional Programming Languages and Computer Architecture, 1987
Proceedings of the Conditional Term Rewriting Systems, 1987
1986
J. Symb. Comput., 1986
A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories.
J. Autom. Reason., 1986
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
A Multiprocessor Architecture for MediumGrain Parallelism.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
Theor. Comput. Sci., 1985
J. Symb. Comput., 1985
Inf. Process. Lett., 1985
Inf. Control., 1985
Logic Programming cum Applicative Programming.
Proceedings of the 1985 Symposium on Logic Programming, 1985
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985
Proceedings of the Functional Programming Languages and Computer Architecture, 1985
1984
Theor. Comput. Sci., 1984
New Gener. Comput., 1984
J. Comput. Syst. Sci., 1984
J. Algorithms, 1984
An Efficient Bug Location Algorithm.
Proceedings of the Second International Logic Programming Conference, 1984
Proceedings of the 7th International Conference on Automated Deduction, 1984
1983
SIAM J. Comput., 1983
A Low Level Language for Obtaining Decision Procedure for Classes of temporal Logics.
Proceedings of the Logics of Programs, 1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1982
Artif. Intell., 1982
Proceedings of the 6th Conference on Automated Deduction, 1982
1981
Artif. Intell., 1981
1980
The Application of Multivariate Polynomials to Inference Rules and Partial Tests for Unsatisfiability.
SIAM J. Comput., 1980
Discret. Appl. Math., 1980
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
Proceedings of the 5th Conference on Automated Deduction, 1980
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980
1979
Theor. Comput. Sci., 1979
1978
SIAM J. Comput., 1978
1977
J. Comput. Syst. Sci., 1977
1972
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972