Author of the publication

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.

 

Other publications of authors with the same name

Fuzzy inference to supplier evaluation and selection based on quality index: a flexible approach., , and . Neural Comput. Appl., 23 (Supplement-1): 117-127 (2013)Evaluation of the reliability of transport networks based on the stochastic flow of moving objects., , and . Reliab. Eng. Syst. Saf., 93 (6): 838-844 (2008)Evaluation of the Reliability of Emergency Networks under Time Constraints., and . CASE, page 259-263. IEEE, (2006)Design of a coherent inverse synthetic aperture radar moving target simulator., , , , and . IEICE Electron. Express, 11 (24): 20141044 (2014)An ultra-high ramp rate arbitrary waveform generator for communication and radar applications., , , , , and . IEICE Electron. Express, 12 (3): 20141163 (2015)A robust synthesis methodology for neutrally stable uncertain SISO plants under input amplitude saturation., and . Int. J. Systems Science, 44 (3): 461-470 (2013)Inference for heavy tailed distributions, , and . Journal of Statistical Planning and Inference, 66 (1): 61--75 (Jan 5, 1998)Nonorthogonal orbital based N-body reduced density matrices and their applications to valence bond theory. I. Hamiltonian matrix elements between internally contracted excited valence bond wave functions, , and . The Journal of Chemical Physics, 138 (16): 164119 (April 2013)CMOS 1.2V bandgap voltage reference design., , , , and . ASICON, page 1-4. IEEE, (2013)Subspace Clustering With K-Support Norm., , , and . IEEE Trans. Circuits Syst. Video Techn., 28 (2): 302-313 (2018)