People > NCSU Research & Education Team > Brglez

Dr. Franc Brglez Director of Collaborative Benchmarking & Visiting Research Professor North Carolina State University Department of Computer Science 900 Main Campus Drive Box 8207 Raleigh, N.C. 27695 Phone: 919.515.9675 Fax: 919.513.1895 Email: brglez@cs.ncsu.edu

Education

Ph.D., University of Colorado, 1970

Research Interests

Distributed and collaborative workflows, databases, and groupware for the Internet. Performance benchmarks for graph-based algorithms. Analog/digital signal processing, computer-aided design, synthesis, optimization, and testing of VLSI systems.

Selected Publications

• A revised paper accepted for publication: F. Brglez, X.Y. Li, M.F. Stallmann, and B. Militzer. Evolutionary and Alternative Algorithms: Reliable Cost Predictions for Finding Optimal Solutions to LABS Problem. Information Sciences. In print, 2004.
  
  
• X.Y. Li, M.F. Stallmann, and F. Brglez. A local search solver using an effective switching strategy and an efficient unit propagation}. Lecture Notes in Computer Science, 2919, 2004.
  
  
• F. Brglez, X.Y. Li, M.F. Stallmann. On SAT Instance Classes and a Method for Reliable Performance Experiments with SAT Solvers. Annals of Mathematics and Artificial Intelligence. In print, 2004.
  
  
• F. Brglez, M. F. Stallmann, X. Y. Li. SATbed Home Page: A Tutorial, A User Guide, A Software Archive, Archives of SAT Instance Classes and Experimental Results. (Under revision)
  
  
• F. Brglez, M. F. Stallmann, X.Y. Li. SATbed: A Configurable Environment For Reliable Performance Experiments with SAT Instance Classes and Algorithms. In Proceedings of the 6th International Symposium on the Theory and Applications of Satisfiability Testing, May 5--8 2003, S. Margherita Ligure - Portofino , Italy . (Under revision)