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.












