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)
2007 conference paper
High-contrast algorithm behavior
Proceedings of the 2007 workshop on Experimental computer science - ExpCS '07. Presented at the the 2007 workshop.
Event: the 2007 workshop
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.
2004 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.
open access via citeseerx.ist.psu.edu (repository)2003 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.
2003 conference paper
Equivalence classes of circuit mutants for experimental design
Proceedings of the 1999 IEEE International Symposium on Circuits and systems, 6, 432–435.
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).
1997 journal article
Executable workflows: a paradigm for collaborative design on the Internet
ACM IEEE Design Automation Conference. Proceedings, 34(June 1997), 553–558.