Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
}
TY - GEN
T1 - Task sequencing for autonomous robotic vacuum cleaners
AU - Gorbenko, Anna
AU - Popov, Vladimir
PY - 2017/7/21
Y1 - 2017/7/21
KW - NP-complete
KW - robotic vacuum cleaners
KW - satisfiability algorithms
KW - satisfiability problem
KW - task sequencing
UR - http://www.scopus.com/inward/record.url?scp=85026639740&partnerID=8YFLogxK
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000410159800537
U2 - 10.1063/1.4992727
DO - 10.1063/1.4992727
M3 - Conference contribution
AN - SCOPUS:85026639740
VL - 1863
BT - International Conference of Numerical Analysis and Applied Mathematics, ICNAAM 2016
PB - American Institute of Physics Inc.
T2 - International Conference of Numerical Analysis and Applied Mathematics 2016, ICNAAM 2016
Y2 - 19 September 2016 through 25 September 2016
ER -
ID: 1973756