( en | de | ru )

 

Disambiguation of "Schmidt, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.

, , , and . KI, volume 7006 of Lecture Notes in Computer Science, page 289-300. Springer, (2011)

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.

Martin Schmidt

Martin Schmidt

Martin Schmidt

Martin Schmidt

Martin Schmidt

 

Other publications of authors with the same name

Control Oriented Modeling of a Water Brake Dynamometer., , , , , , and . CCA, page 222-227. IEEE, (2010)A 6 V CMOS switching mode amplifier for continuous-wave signals from DC to 3 GHz., , , and . ISCAS, page 1-4. IEEE, (2017)Parameter Control in Practice., and . Parameter Setting in Evolutionary Algorithms, volume 54 of Studies in Computational Intelligence, Springer, (2007)Solving Real-Life Time-Tabling Problems.. ISMIS, volume 1609 of Lecture Notes in Computer Science, page 648-656. Springer, (1999)Global optimization of multilevel electricity market models including network design and graph partitioning., and . Discret. Optim., (2019)An interior-point method for nonlinear optimization problems with locatable and separable nonsmoothness.. EURO J. Comput. Optim., 3 (4): 309-348 (2015)Identification and characterization of urban structures using VHR SAR data, , , , , , , and . (2011)Visual Study of the Benguela Upwelling System using Pathline Predicates., , , and . EnvirVis@EuroVis, page 19-23. Eurographics Association, (2017)Coevolutionary Processes for Strategic Decisions., , , and . MSRAS, volume 28 of Advances in Soft Computing, page 85-98. Springer, (2004)Algorithmic results for potential-based flows: Easy and hard cases., , , , and . Networks, 73 (3): 306-324 (2019)