BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nishimura:Naomi

Contributed to:

ICALP (1) 20152015
SAT 20062006
SAT 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.