BWRC Publications

Citation
Nicola Nicolici, Adam Kinsman. "Using the SAT-Modulo Theory for Bit-width Allocation". McMaster University, Canada, October, 30, 2008.

Abstract
(No abstract.)

Electronic downloads

• Kinsman_Nicolici.pdf · application/pdf · 457 kbytes

Citation formats

• HTML

  Nicola Nicolici, Adam Kinsman. <a
  href="http://infopad.eecs.berkeley.edu/php/pubs/pubs.php/1122.html"><i>Using
  the SAT-Modulo Theory for Bit-width
  Allocation</i></a>, McMaster University, Canada,
  October, 30, 2008.

• Plain text

  Nicola Nicolici, Adam Kinsman. "Using the SAT-Modulo Theory
  for Bit-width Allocation". McMaster University, Canada,
  October, 30, 2008.

• BibTeX

  @seminar{NicoliciKinsman2008,
      author = {Nicola Nicolici and Adam Kinsman},
      title = {Using the SAT-Modulo Theory for Bit-width
                Allocation},
      organization = {McMaster University, Canada},
      month = {October},
      day = {30},
      year = {2008},
      URL = {http:///php/pubs/pubs.php/1122.html}
  }
  

Posted by Olivia Nolan on Sep 15, 2009..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.