The Evolution from Limmat to Nanosat

Armin Biere

Research output: Working paper and reports › Research report

Original languageEnglish
Place of PublicationETH Zürich
PublisherETH Zürich, Dept. of Computer Sience
Number of pages8
Publication statusPublished - 2004

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 102031 Theoretical computer science
  • 603109 Logic
  • 202006 Computer hardware

Cite this