Author of the publication

An Efficient Sequential SAT Solver With Improved Search Strategies.

, , , , , and . DATE, page 1102-1107. IEEE Computer Society, (2005)

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

Error-tolerant manipulation by caging., , and . Signal Processing, (2016)Predicting Gene Ontology functions based on support vector machines and statistical significance estimation., , , and . Neurocomputing, 70 (4-6): 718-725 (2007)Weighted fair queuing with differential dropping., , and . INFOCOM, page 2981-2985. IEEE, (2012)Efficient parameter variation sampling for architecture simulations., , , and . DATE, page 1578-1583. IEEE, (2011)Head pose-free appearance-based gaze sensing via eye image synthesis., , , and . ICPR, page 1008-1011. IEEE Computer Society, (2012)Secure multi-path construction in wireless sensor networks using network coding., , , and . PIMRC, page 1-5. IEEE, (2008)Multiple user maximum likelihood code-timing acquisition for uplink DS-CDMA systems., , , and . WCNC, page 676-680. IEEE, (2000)Geometric Cloud Top Height Assignment by Geosynchronous Meteorological Satellite Images., , , and . IGARSS (3), page 605-608. IEEE, (2009)ST-CRF: A Novel Map Matching Approach for Low-frequency Floating Car Data., and . IWGS, page 9-18. ACM, (2015)Dynamic Evolution Model of a Collaborative Innovation Network from the Resource Perspective and an Application Considering Different Government Behaviors., , and . Information, 10 (4): 138 (2019)