Travelled to:
1 × France
Collaborated with:
S.Safarpour A.G.Veneris R.Drechsler
Talks about:
satisfi (1) boolean (1) manag (1) care (1) don (1)
Person: Joanne Lee
DBLP: Lee:Joanne
Contributed to:
Wrote 1 papers:
- DATE-v1-2004-SafarpourVDL #satisfiability
- Managing Don’t Cares in Boolean Satisfiability (SS, AGV, RD, JL), pp. 260–265.