( en | de | ru )

 

Disambiguation of "Brain, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.

. SMT, volume 2908 of CEUR Workshop Proceedings, page 23-31. CEUR-WS.org, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Brainard

Marcus Brainard

Ingrid Brainard

Hans Brainich

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Other publications of authors with the same name

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 160-174. Springer, (2008)ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 724-728. Springer, (2008)Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice., and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.. SMT, volume 2908 of CEUR Workshop Proceedings, page 23-31. CEUR-WS.org, (2021)Answer Set Programming ? a Domain in Need of Explanation: A Position Paper., and . ExaCt, page 37-48. (2008)LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming., , , , , and . DALT, volume 3904 of Lecture Notes in Computer Science, page 72-88. Springer, (2005)Automatic Generation of Propagation Complete SAT Encodings., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 536-556. Springer, (2016)Building Better Bit-Blasting for Floating-Point Problems., , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 79-98. Springer, (2019)Towards Automated Bounded Model Checking of API Implementations., , , and . CSTVA@ISSTA, volume 1639 of CEUR Workshop Proceedings, page 31-42. CEUR-WS.org, (2016)Algebraic Techniques in Software Verification : Challenges and Opportunities., , and . SC²@SYNASC, volume 1804 of CEUR Workshop Proceedings, page 8-12. CEUR-WS.org, (2016)