I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

SAT based solutions for consistency problems in formal prop..:

, In: Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design,
Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit.. - p. 885-888 , 2005
Link: https://dl.acm.org/doi/10.5555/1129601.1129726