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

Song Xiaoyu

  •  Home
  •  Publications
    1
    • Most Recent
    • Most Downloaded
  •  News and Updates
 More details
  • All publications (1)
  •  56
    Parallelizing SMT solving: Lazy decomposition and conciliation
    with Xi Cheng, Min Zhou, Ming Gu, and Jiaguang Sun
    Artificial Intelligence 257 127-157. 2018.
    Science, Logic, and Mathematics
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