Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2021
  • PDF
  • English
  • Year: 2021
  • Author: Chu-Min Li, Felip Manyà
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.)
Social Memory and State Formation in Early China
  • PDF
  • English
  • Year: 2018
  • Author: Min Li
Organic chemistry of drug degradation
  • PDF
  • English
  • Year: 2012
  • Author: Min Li
Affine Berstein Problems and Monge-Ampere Equations
  • PDF
  • English
  • Year: 2010
  • Author: An-min Li
NMDA Receptor Protocols (Methods in Molecular Biology Vol 128)
  • PDF
  • English
  • Year: 1999
  • Author: Min Li (Editor)
Theory and numerical approximations of fractional integrals and derivatives
  • PDF
  • English
  • Year: 2019
  • Author: Cai, Min; Li, Changpin