Franc Brglez

Available identifiers

zbMath Open brglez.francMaRDI QIDQ1606808

List of research outcomes

Publication	Date of Publication	Type
Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization	2017-06-15	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
On SAT instance classes and a method for reliable performance experiments with SAT solvers	2005-05-13	Paper
Design of experiments and evaluation of BDD ordering heuristics	2002-07-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Franc Brglez