Linear Arithmetic with Bit-Vectors using Omega and SAT

Metadata Label	Value
Author(s):	Kröning, Daniel
Publisher:	ETH, Department of Computer Science
Citation:	Kröning, Daniel. Linear Arithmetic with Bit-Vectors using Omega and SAT. ETH, Department of Computer Science (2005). http://dx.doi.org/10.3929/ethz-a-006787534
Document Type:	Reports
Documents:	Text (88.80KB)

Detailed Information

Metadata	Description
Title	Linear Arithmetic with Bit-Vectors using Omega and SAT
Author(s)	Kröning, Daniel
Publication Place	Zurich
Publisher	ETH, Department of Computer Science
Publication Date	2005
Series	[Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [483]
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-006787534
Subject(s)	Computer Science, General
Organisational Unit	Department of Computer Science
Online Publication Date	2011

Description	File Name	MIME Type	Size
Text	eth-4884-01.pdf	application/pdf	88.80KB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006787534

Abstract Views and Downloads
Views	7
Downloads	51

Abstract Views and Downloads by Country
	Views	2
	Downloads	25
Japan	Views	0
Japan	Downloads	7
United States	Views	1
United States	Downloads	6
China	Views	3
China	Downloads	2
India	Views	0
India	Downloads	2
United Kingdom	Views	0
United Kingdom	Downloads	2
Brazil	Views	0
Brazil	Downloads	1
Germany	Views	0
Germany	Downloads	1
Israel	Views	0
Israel	Downloads	1
Malta	Views	0
Malta	Downloads	1
Netherlands	Views	0
Netherlands	Downloads	1
Philippines	Views	0
Philippines	Downloads	1
Poland	Views	0
Poland	Downloads	1
Switzerland	Views	1
Switzerland	Downloads	0