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)Designing Optimized Imprecise Fixed-Point Arithmetic Circuits Specified by polynomials with Various Constraints., , , , , and . Journal of Circuits, Systems, and Computers, (2014)Biodegradable magnesium coronary stents: material, design and fabrication., , , , , , , , and . Int. J. Computer Integrated Manufacturing, 27 (10): 936-945 (2014)A Heuristic Algorithm for optimizing Page Selection Instructions, , , , and . CoRR, (2010)Subspace Clustering With K-Support Norm., , , and . IEEE Trans. Circuits Syst. Video Techn., 28 (2): 302-313 (2018)Stochastic behavioral modeling of analog/mixed-signal circuits by maximizing entropy., , , and . ISQED, page 572-579. IEEE, (2013)