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.
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.
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.
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.