Darya Yagofarova

From MaRDI portal
Person:367247

Available identifiers

zbMath Open yagofarova.daryaMaRDI QIDQ367247

List of research outcomes





PublicationDate of PublicationType
Analysis and solving SAT and MAX-SAT problems using an \(L\)-partition approach2013-09-26Paper

Research outcomes over time

This page was built for person: Darya Yagofarova