Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Paper

20 Sep 2002

PathFinder: A tool for design exploration

Abstract

No abstract available.

Paper

A Brief Introduction to Quantum Network Control

Victor Valls, Panagiotis Promponas, et al.

IEEE Communications Magazine

Paper

Stabilizer-based symmetry breaking constraints for mathematical programs

Leo Liberti, James Ostrowski

Journal of Global Optimization

Paper

On convex relaxations of quadrilinear terms

Sonia Cafieri, Jon Lee, et al.

Journal of Global Optimization

Workshop paper

MulticoreSDK: A practical and efficient data race detector for real-world applications

Yao Qi, Raja Das, et al.

ISSTA 2009

View all publications