( en | de | ru )

 

Disambiguation of "Brain, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability checking and symbolic computation.

, , , , , , , , , , , , , , and . ACM Commun. Comput. Algebra, 50 (4): 145-147 (2016)

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 Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)
 

Other publications of authors with the same name

Declarative Problem Solving Using Answer Set Semantics.. ICLP, volume 4079 of Lecture Notes in Computer Science, page 459-460. Springer, (2006)A Lightweight Technique for Distributed and Incremental Program Verification., and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 114-129. Springer, (2012)Debugging Logic Programs under the Answer Set Semantics., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 724-728. Springer, (2008)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)A lazy approach to adaptive exact real arithmetic using floating-point operations., , and . ACM Commun. Comput. Algebra, 49 (3): 83-86 (2015)Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation., , , and . IACR Cryptol. ePrint Arch., (2023)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)Generating Optimal Code Using Answer Set Programming., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. Springer, (2009)