International Journal on Software Tools for Technology Transfer

View Statistics Email Alert RSS Feed

Journal description

Title Titel
International Journal on Software Tools for Technology Transfer
 
e-ISSN
1433-2787
 
ISSN
1433-2779
 
Publisher Herausgeber
SPRINGER HEIDELBERG
 

Publications Publikationen

Filter:
Subject:  Computer algebra

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

PreviewAuthor(s)TitleTypeIssue Date
1Kaufmann-2023-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgKaufmann, Daniela ; Biere, Armin Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebraArticle Artikel Apr-2023