Author of the publication

Dealing with 4-variables by resolution: An improved MaxSAT algorithm.

, , and . Theor. Comput. Sci., (2017)

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

A Nonconforming Characteristic Finite Element Method for Nonlinear Advection-Dominated Diffusion Equation with Memory Term., , and . BIC-TA, volume 212 of Advances in Intelligent Systems and Computing, page 179-187. Springer, (2013)Remodeling and Simulation of Intrusion Detection Evaluation Dataset., , and . Security and Management, page 245-251. CSREA Press, (2006)Realtime Rendering Glossy to Glossy Reflections in Screen Space., , and . Comput. Graph. Forum, 34 (7): 57-66 (2015)Evaluation Model for Breast Cancer Susceptibly Gene and its Implementation Using Cytoscape., and . BMEI, page 1-5. IEEE, (2009)User Profiling for Query Refinement., , , and . AMCIS, Association for Information Systems, (2014)Stability analysis of neutral stochastic delay differential equations by a generalisation of Banach's contraction principle., , and . Int. J. Control, 90 (8): 1555-1560 (2017)An improved feature matching algorithm with low memory requirement., , , and . CISP-BMEI, page 270-274. IEEE, (2016)Performance Analysis and Architecture Design for Parallel EBCOT Encoder of JPEG2000., , , and . IEEE Trans. Circuits Syst. Video Techn., 17 (10): 1336-1347 (2007)Simulation of the Impact of a Sensor's PSF on Mixed Pixel Decomposition: 1. Nonuniformity Effect., , and . Remote Sensing, 8 (5): 437 (2016)Research and Implementation of the Cloud Platform Based on the B-learning., and . Computer and Information Science, 5 (4): 77-82 (2012)