Autark assignments of Horn CNFs
Journal
-
- Japan Journal of Industrial and Applied Mathematics
-
Japan Journal of Industrial and Applied Mathematics 35 (1), 297-309, 2017-12-21
Springer Science and Business Media LLC
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1360004231556489216
-
- NII Article ID
- 210000163987
-
- ISSN
- 1868937X
- 09167005
-
- Data Source
-
- Crossref
- CiNii Articles
- KAKEN