Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
METHOD AND DEVICE FOR SCALABLE INCREMENTAL WEIGHTED SAMPLING
Document Type and Number:
WIPO Patent Application WO/2023/219560
Kind Code:
A3
Abstract:
Aspects concern a method for scalable incremental weighted sampling, the method including compiling an input Boolean formula representing a space to be sampled from, to obtain an ordered binary decision diagram[] (OBDD[]), and parameterizing the obtained OBDD[] to obtain a probabilistic OBDD[] (PROB). The method further includes smoothing the obtained PROB by adding conjunction nodes to the obtained PROB, and performing the weighted sampling from the smoothed PROB to obtain at least one assignment corresponding to a traversal through the smoothed PROB to a true node included in the smoothed PROB, while performing annotation of the smoothed PROB.

Inventors:
YANG SUWEI (SG)
LIANG CHEN (SG)
MEEL KULDEEP SINGH (SG)
Application Number:
PCT/SG2023/050260
Publication Date:
December 14, 2023
Filing Date:
April 19, 2023
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
GRABTAXI HOLDINGS PTE LTD (SG)
International Classes:
G06F17/10; G06F17/17; G06Q10/04
Foreign References:
US10509918B12019-12-17
US20210365817A12021-11-25
Other References:
"Topics in cryptology - CT-RSA 2020 : the Cryptographers' Track at the RSA Conference 2020, San Francisco, CA, USA, February 24-28, 2020", vol. 45, 1 January 1900, CORNELL UNIVERSITY LIBRARY,, 201 Olin Library Cornell University Ithaca, NY 14853, article CLĂ©MENT JULIEN; GENITRINI ANTOINE: "Binary Decision Diagrams: From Tree Compaction to Sampling", pages: 571 - 583, XP047571814, DOI: 10.1007/978-3-030-61792-9_45
Attorney, Agent or Firm:
VIERING, JENTSCHURA & PARTNER LLP (SG)
Download PDF: