• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Katherine Wyatt

  •  Home
  •  Publications
    1
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
 More details
  • All publications (1)
  •  24
    BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas
    with Robert Cowen
    Notre Dame Journal of Formal Logic 34 (4): 602-606. 1993.
    Logic and Philosophy of LogicLogics
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback