Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Electroencephalography Engineering & Materials Science
Brain Engineering & Materials Science
Experiments Engineering & Materials Science
Transcranial Magnetic Stimulation Medicine & Life Sciences
Bioelectric potentials Engineering & Materials Science
Constraint satisfaction problems Engineering & Materials Science
Parietal Lobe Medicine & Life Sciences
Robots Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1986 2019

Improved WPM encoding for coalition structure generation under MC-nets

Liao, X., Koshimura, M., Nomoto, K., Ueda, S., Sakurai, Y. & Yokoo, M., Jan 15 2019, In : Constraints. 24, 1, p. 25-55 31 p.

Research output: Contribution to journalArticle


N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

Zha, A., Koshimura, M. & Fujita, H., Jan 1 2019, (Accepted/In press) In : Constraints.

Research output: Contribution to journalArticle

Signal encoding
Modular arithmetic
Conjunctive Normal Form
Model checking
Model Checking

A complexity approach for core-selecting exchange under conditionally lexicographic preferences

Fujita, E., Lesca, J., Sonoda, A., Todo, T. & Yokoo, M., Nov 1 2018, In : Journal of Artificial Intelligence Research. 63, p. 515-555 41 p.

Research output: Contribution to journalArticle

Resource allocation