Sandrine Paroz

From MaRDI portal
Person:545545

Available identifiers

zbMath Open paroz.sandrineMaRDI QIDQ545545

List of research outcomes





PublicationDate of PublicationType
Using local search to speed up filtering algorithms for some NP-hard constraints2011-06-22Paper
Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems2009-11-16Paper
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints2008-05-27Paper

Research outcomes over time

This page was built for person: Sandrine Paroz

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