Home Advanced Search

Advanced Search - Page 1

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.)
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: Holger H. Hoos, David G. Mitchell
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.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Arne Løkketangen (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Arne Løkketangen (auth.), Thomas Stützle, Mauro Birattari, Holger H. Hoos (eds.)
Theory and Applications of Satisfiability Testing – SAT 2021
  • PDF
  • English
  • Year: 2021
  • Author: Chu-Min Li, Felip Manyà
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Stützle, Mauro Birattari, Holger H. Hoos
Fragmented Energy Release in Sun and Stars: The Interface between MHD and Plasma Physics
  • PDF
  • English
  • Year: 1994
  • Author: Mitchell A. Berger (auth.), G. H. J. Van den Oord (eds.)
Nitric Oxide in Pulmonary Processes: Role in Physiology and Pathophysiology of Lung Disease
  • PDF
  • English
  • Year: 2000
  • Author: David Bishop-Bailey, Jane A. Mitchell (auth.), Dr. Maria G. Belvisi, Dr. Jane A. Mitchell (eds.)
Pentachlorophenol: Chemistry, Pharmacology, and Environmental Toxicology
  • PDF
  • English
  • Year: 1978
  • Author: Richard A. W. Hoos (auth.), K. Ranga Rao (eds.)
search