WorldCat Identities

Brain, Martin

Overview
Works: 4 works in 4 publications in 1 language and 6 library holdings
Roles: Author, Other
Classifications: TK7888.4, 005.131
Publication Timeline
.
Most widely held works by Martin Brain
An application of answer set programming : superoptimisation (a preliminary report)( Book )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Deciding floating-point logic with abstract conflict driven clause learning by Martin Brain( )

1 edition published in 2013 in English and held by 2 WorldCat member libraries worldwide

Incremental bounded model checking for embedded software by Peter Schrammel( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

Debugging ASP programs by means of ASP* by Martin Brain( )

1 edition published in 2007 in Undetermined and held by 0 WorldCat member libraries worldwide

Yes
 
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Incrementa ... to 0.00 for Incrementa ...)

Languages