JSAI2018

Presentation information

Print

Oral presentation

Organized Session » [Organized Session] OS-16

[4K1-OS-16a] [Organized Session] OS-16

Fri. Jun 8, 2018 12:00 PM - 1:40 PM Room K (3F Azisai Mokuren)

12:20 PM - 12:40 PM

[4K1-OS-16a-02] Determination method influenced by SAT solver for the full rankness of a matrix

〇Tomoya Machide1,2, Tomohiro Sonobe1,2 (1. National Institute of Informatics, 2. JST, ERATO, Kawarabayashi Large Graph Project, Japan)

Keywords:SAT(satisfiability problem), Rank of matrix

We introduce a new determination method for the full rankness of a matrix over the binary field, which is made with algorithms used by SAT solver as a reference.