Franc Brglez
Is this your profile?
Claim your Citation Index profile in order to display more information about you and gain access to Libraries services. Just create or connect your ORCID iD.
Create or connect your ORCID iD
Works (7)
Updated: July 5th, 2023 15:57
2007 conference paper
High-contrast algorithm behavior
Proceedings of the 2007 workshop on Experimental computer science - ExpCS '07. Presented at the the 2007 workshop.
co-author countries:
United States of America 🇺🇸
Event: the 2007 workshop
Sources: Crossref, ORCID
Added: March 23, 2020
2005 journal article
On SAT instance classes and a method for reliable performance experiments with SAT solvers
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 43(1-4), 1–34.
co-author countries:
United States of America 🇺🇸
author keywords: satisfiability; conjunctive normal form; equivalence classes; experimental design; exponential and heavy-tail distributions; reliability function
citeseerx.ist.psu.edu (repository)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2004 chapter
A Local search sat solver using an effective switching strategy and an efficient unit propagation
In Theory and applications of satisfiability testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected revised papers (Vol. 2919, pp. 53–68). Berlin; New York: Springer.
Source: NC State University Libraries
Added: August 6, 2018
1999 conference paper
Design of experiments in CAD: context and new data sets for ISCAS'99
Proceedings of the 1999 IEEE International Symposium on Circuits and systems, 6, 424–427.
co-author countries:
United States of America 🇺🇸
Source: NC State University Libraries
Added: August 6, 2018
1999 conference paper
Equivalence classes of circuit mutants for experimental design
Proceedings of the 1999 IEEE International Symposium on Circuits and systems, 6, 432–435.
co-author countries:
United States of America 🇺🇸
Source: NC State University Libraries
Added: August 6, 2018
1999 chapter
Heuristics and experimental design for bigraph crossing number minimization
In Algorithm Engineering and Experimentation: International workshop ALENEX '99, Baltimore, MD, USA, Jan. 15-16, 1999. (Vol. 1619, pp. 74–93).
co-author countries:
United States of America 🇺🇸
Sources: NC State University Libraries, ORCID
Added: August 6, 2018
1997 journal article
Executable workflows: a paradigm for collaborative design on the Internet
ACM IEEE Design Automation Conference. Proceedings, 34(June 1997), 553–558.
Source: NC State University Libraries
Added: August 6, 2018
