Author of the publication

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden.

, , , , , and . J. Artif. Intell. Res., (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Leaf Area Index Estimation of Winter Pepper Based on Canopy Spectral Data and Simulated Bands of Satellite., , , , , and . GRMSE (1), volume 698 of Communications in Computer and Information Science, page 515-526. Springer, (2016)Distributed Computation of Equilibria in Misspecified Convex Stochastic Nash Games., , and . IEEE Trans. Automat. Contr., 63 (2): 360-371 (2018)System design for the WeSpace: Linking personal devices to a table-centered multi-user, multi-surface environment., , , and . Tabletop, page 97-104. IEEE Computer Society, (2008)Architecture for Heart Rate measurement., , and . APCCAS, page 404-406. IEEE, (2008)Automatic Generationof Chinese Calligraphic Writings with Style Imitation., , , , and . IEEE Intelligent Systems, 24 (2): 44-53 (2009)A Novel Method for Fast and High-Quality Rendering of Hair., , , and . Rendering Techniques, page 331-341. Eurographics Association, (2006)pPen: enabling authenticated pen and touch interaction on tabletop surfaces., , , , and . ITS, page 283-284. ACM, (2010)Machine Learning for Estimating Leaf Dust Retention Based on Hyperspectral Measurements., , , , and . J. Sensors, (2018)A Motion-Powered Piezoelectric Pulse Generator for Wireless Sensing via FM Transmission., , , and . IEEE Internet of Things Journal, 2 (1): 5-13 (2015)Iteratively Linearized Reweighted Alternating Direction Method of Multipliers for a Class of Nonconvex Problems., , and . CoRR, (2017)