( en | de | ru )

 

Disambiguation of "Su, Kaile"

Author of the publication

copydeleteadd this publication to your clipboard
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

, , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 481-496. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nina Alexandra Kailer

Wilhelm Kailer

Katja Kailer

Daniel Kailer

Thomas Kailer

 

Other publications of authors with the same name

Reconfigurability in Reactive Multiagent Systems., , , and . IJCAI, page 315-321. IJCAI/AAAI Press, (2016)Verification of Authentication Protocols for Epistemic Goals via SAT Compilation., , , , , and . J. Comput. Sci. Technol., 21 (6): 932-943 (2006)A first-order coalition logic for BDI-agents., , , , and . Frontiers Comput. Sci., 10 (2): 233-245 (2016)A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition., , , , , and . ICCCS, page 240-245. IEEE, (2020)EWLS: A New Local Search for Minimum Vertex Cover., , and . AAAI, page 45-50. AAAI Press, (2010)Strengthening Agents Strategic Ability with Communication., , and . AAAI, page 2509-2515. AAAI Press, (2016)Generalized Linear Integer Numeric Planning., , , , , and . ICAPS, page 241-251. AAAI Press, (2022)PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning., , , and . WAIM, volume 8485 of Lecture Notes in Computer Science, page 645-656. Springer, (2014)Verification of Multi-agent Systems Via Bounded Model Checking., , , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 69-78. Springer, (2006)Deep neural network bottleneck features for bird species verification., , , and . IJCNN, page 927-933. IEEE, (2017)