( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE.

, , , и . E-Vote-ID, том 14230 из Lecture Notes in Computer Science, стр. 35-51. Springer, (2023)

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.

Marc Stuckey

Peter J Schmidt

Peter J Barth

Peter J Deneffe

Peter J Michael

 

Другие публикации лиц с тем же именем

Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding., , , , и . SOCS, стр. 188-189. AAAI Press, (2019)Ballot-Polling Risk Limiting Audits for IRV Elections., , и . E-Vote-ID, том 11143 из Lecture Notes in Computer Science, стр. 17-34. Springer, (2018)Propagation Redundancy in Redundant Modelling., , и . CP, том 2833 из Lecture Notes in Computer Science, стр. 229-243. Springer, (2003)Bounded Suboptimal Path Planning with Compressed Path Databases., , , , , , и . ICAPS, стр. 333-342. AAAI Press, (2020)Interactive type debugging in Haskell., , и . Haskell, стр. 72-83. ACM, (2003)Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study., , , , и . LOPSTR, том 12561 из Lecture Notes in Computer Science, стр. 192-209. Springer, (2020)A declarative encoding of telecommunications feature subscription in SAT., , и . PPDP, стр. 255-266. ACM, (2009)An Introduction to Search Combinators., , , , и . LOPSTR, том 7844 из Lecture Notes in Computer Science, стр. 2-16. Springer, (2012)Higher-Precision Groundness Analysis., , , и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 135-149. Springer, (2001)Compiling Ask Constraints., , и . ICLP, том 3132 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2004)