Travelled to:1 × Canada
1 × Japan
1 × USA
Collaborated with:P.Ragde S.Szeider A.E.Mouawad V.Pathak V.Raman
Talks about:reconfigur (1) shortest (1) backdoor (1) respect (1) formula (1) boolean (1) vertex (1) detect (1) binari (1) space (1)
Person: Naomi Nishimura
DBLP: Nishimura:Naomi
Contributed to:
2015
20062004Wrote 3 papers:
- ICALP-v1-2015-MouawadNPR #configuration management
- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (AEM, NN, VP, VR), pp. 985–996.
- SAT-2006-NishimuraRS #satisfiability #using
- Solving #SAT Using Vertex Covers (NN, PR, SS), pp. 396–409.
- SAT-2004-NishimuraRS #detection #set
- Detecting Backdoor Sets with Respect to Horn and Binary Clauses (NN, PR, SS), pp. 96–103.