Bit-level Accurate Reasoning and Interpolation

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
BITVECTOR
 
Project Title (de) Projekttitel (de)
Bit-level Accurate Reasoning and Interpolation
 
Project Title (en) Projekttitel (en)
Bit-level Accurate Reasoning and Interpolation
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Microsoft Research Limited

Publications


Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias Fuzzing and Verifying RAT Refutations with Deletion InformationKonferenzbeitrag Inproceedings2017
2Philipp, Tobias ; Rebola Pardo, Adrian Towards a Semantics of Unsatisfiability Proofs with InprocessingKonferenzbeitrag Inproceedings2017