( 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 Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)
 

Other publications of authors with the same name

A Lightweight Technique for Distributed and Incremental Program Verification., and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 114-129. Springer, (2012)Declarative Problem Solving Using Answer Set Semantics.. ICLP, volume 4079 of Lecture Notes in Computer Science, page 459-460. Springer, (2006)Debugging Logic Programs under the Answer Set Semantics., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Application of Abstract Interpretation to the Automotive Electronic Control System., , , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 425-445. Springer, (2019)Generating Optimal Code Using Answer Set Programming., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. Springer, (2009)A new-generation automated warehousing capability., , and . Int. J. Comput. Integr. Manuf., 23 (6): 565-573 (2010)The Significance of Memory Costs in Answer Set Solver Implementation., and . J. Log. Comput., 19 (4): 615-641 (2009)cvc5: A Versatile and Industrial-Strength SMT Solver., , , , , , , , , and 6 other author(s). TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 415-442. Springer, (2022)Benchmarking Solvers, SAT-style., , and . SC²@ISSAC, volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Invertibility Conditions for Floating-Point Formulas., , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 116-136. Springer, (2019)