Evgueni S. Petrov

From MaRDI portal
Person:174371

Available identifiers

zbMath Open petrov.evgueni-sMaRDI QIDQ174371

List of research outcomes





PublicationDate of PublicationType
Constraint-based analysis of composite solvers2012-04-13Paper
A reliable linear constraint solver for the UniCalc system2012-04-13Paper
Symbolic-interval heuristic for bound-constrained minimization2010-02-02Paper
https://portal.mardi4nfdi.de/entity/Q44733772004-08-04Paper
Subdefinite models and logic programming: Implementation of constraints2003-06-03Paper
https://portal.mardi4nfdi.de/entity/Q27299552001-10-23Paper
An interval library: The experience of integration of logic and constraint programming2001-07-26Paper

Research outcomes over time

This page was built for person: Evgueni S. Petrov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:174371&oldid=6394606"
Powered by MediaWiki