World's Best Scientists 2026 revealed!
VIEW LIST
David A. Plaisted

D-Index & Metrics

Computer Science

D-Index
31
Citations
4818
World Ranking
13553
National Ranking
5409

Research.com Recognitions

  • 2000 - Fellow of the American Association for the Advancement of Science (AAAS)

Best Publications

  • A Structure-preserving Clause Form Translation

    Unknown

  • Completion Without Failure

    Leo Bachmair;Nachum Dershowitz;David A. Plaisted

  • Theorem proving with abstraction

    Unknown

  • Semantic confluence tests and completion methods

    Unknown

  • Equational reasoning and term rewriting systems

    Unknown

  • Rewrite, rewrite, rewrite, rewrite, rewrite, …

    Nachum Dershowitz;Stéphane Kaplan;David A. Plaisted

  • Termination orderings for associative-commutative rewriting systems

    Unknown

  • Ordered semantic hyper linking

    Unknown

  • New NP-hard and NP-complete polynomial and integer divisibility problems

    Unknown

  • The occur-check problem in Prolog

    Unknown

  • Equational programming

    Nachum Dershowitz;D. A. Plaisted

  • A heuristic triangulation algorithm

    Unknown

  • Rewriting

    Unknown

  • Logic Programming cum Applicative Programming.

    Nachum Dershowitz;David A. Plaisted

  • PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.

    Joseph Goguen;David Plaisted;Jose Meseguer

  • Rigid E -unification: NP-completeness and applications to equational matings

    Unknown

  • Associative-commutative rewriting

    Nachum Dershowitz;Jien Hsiang;N. Alan Josephson;David A. Plaisted

  • The Travelling Salesman Problem and Minimum Matching in the Unit Square

    Kenneth J. Supowit;Edward M. Reingold;David A. Plaisted

  • Sparse complex polynomials and polynomial reducibility

    Unknown

  • A satisfiability procedure for quantified boolean formulae

    David A. Plaisted;Armin Biere;Yunshan Zhu

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Computer Science Rankings & Guides

2026 Software Development Degree Master's Programs You Can Start Without Meeting All Requirements

2026 Software Development Degree Master's Programs You Can Start Without Meeting All Requirements
2026 Best Cybersecurity Courses Online with Certificates

2026 Best Cybersecurity Courses Online with Certificates
2026 Is Data Science Hard? Guide to Overcoming Challenges

2026 Is Data Science Hard? Guide to Overcoming Challenges
2026 Best Online Master’s in Cybersecurity Degree Programs

2026 Best Online Master’s in Cybersecurity Degree Programs
2026 Cheapest and Shortest Online Cybersecurity Degree Programs That Pay Well: Cost, Duration, and Salary Outlook

2026 Cheapest and Shortest Online Cybersecurity Degree Programs That Pay Well: Cost, Duration, and Salary Outlook
2026 Fastest Online Bachelor's Degree Programs in Analytics

2026 Fastest Online Bachelor's Degree Programs in Analytics
2026 How To Become a Video Game Designer: Salary & Career Paths

2026 How To Become a Video Game Designer: Salary & Career Paths
2026 Best Online Information Technology Degree Programs Ranking in the Midwest

2026 Best Online Information Technology Degree Programs Ranking in the Midwest
2026 Best Online Machine Learning Degree Master's Programs for Working Professionals

2026 Best Online Machine Learning Degree Master's Programs for Working Professionals
2026 What is a Video Game Designer: Salary & Career Paths

2026 What is a Video Game Designer: Salary & Career Paths
2026 Cheapest and Shortest Online Artificial Intelligence Degree Programs That Pay Well: Cost, Duration, and Salary Outlook

2026 Cheapest and Shortest Online Artificial Intelligence Degree Programs That Pay Well: Cost, Duration, and Salary Outlook
2026 Is A Cybersecurity Degree Worth It?

2026 Is A Cybersecurity Degree Worth It?
2026 Self-Paced Online Information Security Degree Master's Programs

2026 Self-Paced Online Information Security Degree Master's Programs
2026 Best Online Doctorate in Data Science Programs

2026 Best Online Doctorate in Data Science Programs
Most Affordable Cybersecurity Associate Degree Programs - Budget-Friendly Cybersecurity Schools in Virginia for 2026

Most Affordable Cybersecurity Associate Degree Programs - Budget-Friendly Cybersecurity Schools in Virginia for 2026
2026 Is a Two-Year Degree in Cybersecurity Worth It?

2026 Is a Two-Year Degree in Cybersecurity Worth It?
2026 Which Schools Offer Flexible Start-Anytime Enrollment for an Artificial Intelligence Program?

2026 Which Schools Offer Flexible Start-Anytime Enrollment for an Artificial Intelligence Program?
2026 Fastest Online Bachelor's in Computer Science Programs

2026 Fastest Online Bachelor's in Computer Science Programs
2026 Is Demand for Analytics Degree Graduates Growing or Declining?

2026 Is Demand for Analytics Degree Graduates Growing or Declining?
2026 Best Online Computer Science Degree Programs

2026 Best Online Computer Science Degree Programs
2026 Analytics Degree Programs With No GRE or GMAT Requirements

2026 Analytics Degree Programs With No GRE or GMAT Requirements

Recently Published Articles

2026 Physical Education Degree Programs With Rolling Admissions

2026 Physical Education Degree Programs With Rolling Admissions
June 2026 Best Online Doctorate in Pharmacy (PharmD.) Programs

June 2026 Best Online Doctorate in Pharmacy (PharmD.) Programs
2026 What Can You Do With an Artificial Intelligence Degree?

2026 What Can You Do With an Artificial Intelligence Degree?
2026 Adult Gerontology Primary Care Nurse Practitioner Master's Degree vs Graduate Certificate: Which Is Better?

2026 Adult Gerontology Primary Care Nurse Practitioner Master's Degree vs Graduate Certificate: Which Is Better?
2026 Applied Behavior Analysis Master's Degree vs Doctorate: Career Paths & Salary Differences

2026 Applied Behavior Analysis Master's Degree vs Doctorate: Career Paths & Salary Differences
2026 Child Psychology Master's Degree vs Graduate Certificate: Which Is Better?

2026 Child Psychology Master's Degree vs Graduate Certificate: Which Is Better?
2026 Environmental Management Degree Programs With Rolling Admissions

2026 Environmental Management Degree Programs With Rolling Admissions
2026 Animal Science Master's Degree vs Graduate Certificate: Which Is Better?

2026 Animal Science Master's Degree vs Graduate Certificate: Which Is Better?
2026 Marriage & Family Counseling Master's Degree vs Graduate Certificate: Which Is Better?

2026 Marriage & Family Counseling Master's Degree vs Graduate Certificate: Which Is Better?
2026 Cost per Credit for Online Health Sciences Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Health Sciences Master's Programs: Tuition Comparison Guide
2026 Cost per Credit for Online Elementary Education Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Elementary Education Master's Programs: Tuition Comparison Guide
2026 MSW Salary by State: Where Social Workers Earn the Most

2026 MSW Salary by State: Where Social Workers Earn the Most
2026 Cost per Credit for Online Public Relations Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Public Relations Master's Programs: Tuition Comparison Guide
2026 Hospitality Management Master's Degree vs Doctorate: Career Paths & Salary Differences

2026 Hospitality Management Master's Degree vs Doctorate: Career Paths & Salary Differences
2026 Cost per Credit for Online Special Education Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Special Education Master's Programs: Tuition Comparison Guide
2026 Cost per Credit for Online Geographic Information Systems Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Geographic Information Systems Master's Programs: Tuition Comparison Guide
2026 Career Change Guide: Switching Into Social Work in Your 30s or 40s

2026 Career Change Guide: Switching Into Social Work in Your 30s or 40s
2026 Cost per Credit for Online Reading & Literacy Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Reading & Literacy Master's Programs: Tuition Comparison Guide
2026 Regulatory Science & Affairs Master's Degree vs Graduate Certificate: Which Is Better?

2026 Regulatory Science & Affairs Master's Degree vs Graduate Certificate: Which Is Better?
2026 Best Accelerated Paralegal Programs Online

2026 Best Accelerated Paralegal Programs Online
2026 Cost per Credit for Online Accounting Master's Programs: Tuition Comparison Guide

2026 Cost per Credit for Online Accounting Master's Programs: Tuition Comparison Guide