Linda van Norden

From MaRDI portal
Person:880569

Available identifiers

zbMath Open van-norden.lindaMaRDI QIDQ880569

List of research outcomes





PublicationDate of PublicationType
Theory and Applications of Satisfiability Testing2009-07-24Paper
Sums of squares based approximation algorithms for MAX-SAT2008-09-10Paper
Lower bounds for minimizing total completion time in a two-machine flow shop2007-05-15Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances2005-05-20Paper
Multi-product lot-sizing with a transportation capacity reservation contract2005-05-12Paper

Research outcomes over time

This page was built for person: Linda van Norden

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