Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
Abstract: The emission reduction and electrical active power control of ships in ports have a lot of challenges due to the lack of shore power and satisfied regulations. This article proposes a new ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback