About
Objectives
Results
Deliverables
Publications
Partners
Home
Literature
Found 1 results
Export:[
Tagged
][
XML
][
BibTex
]
Sort by:[
Year
][
Title
][
Type
][
Author
]
Filters:
author
is
Cook
[Clear All Filters]
2010
Cook, B.
,
Kroening, D.
,
Ruemmer, P.
,
Wintersteiger, C.
,
"
Ranking Function Synthesis for Bit-Vector Relations
",
TACAS
, vol. 6015, Paphos, Cyprus, Springer, pp. 236-250, 10/03/2010.
Abstract
Export:
Tagged
XML
BibTex