During the week of September 24, we will be implementing some features to improve ERA. Some users may encounter errors when depositing or editing files. We apologize for any potential inconvenience, and will remove this message when we are done our maintenance upgrade!
SearchSkip to Search Results
Introduction: In 1986 Pelletier published an annotated list of logic problems, intended as an aid for students, developers, and researchers to test their automated theorem proving (ATP) systems. The 75 problems in the list are subdivided into propositional logic (Problems 1-17), monadic-predicate...
Introduction: Some problems that are difficult for automated theorem provers (ATPs) are so merely because of their size, but not because of any logical or conceptual complexity. Examples of this type of difficult problem have been published in the past: see Pelletier [1986: problems 12, 29, 34,...