Franc Brglez

From MaRDI portal
Person:1606808

Available identifiers

zbMath Open brglez.francMaRDI QIDQ1606808

List of research outcomes





PublicationDate of PublicationType
Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization2017-06-15Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
On SAT instance classes and a method for reliable performance experiments with SAT solvers2005-05-13Paper
Design of experiments and evaluation of BDD ordering heuristics2002-07-25Paper

Research outcomes over time

This page was built for person: Franc Brglez

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