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

Auctions as algorithms : Computerized trade execution and price discovery, and . Journal of Economic Dynamics and Control, 18 (1): 29--60 (January 1994)Order flow and the bid-ask spread: An empirical probability model of screen-based trading, , and . Journal of Economic Dynamics and Control, 21 (8-9): 1471--1491 (Jun 29, 1997)International network of cancer genome projects., , , , , , , , , and 406 other author(s). Nature, 464 (7291): 993--998 (April 2010)Automatic Image-Based Plant Disease Severity Estimation Using Deep Learning., , and . Comput. Intell. Neurosci., (2017)Boosting VoIP Capacity via Service Differentiation in IEEE 802.11e EDCA Networks., , , and . Int. J. Distributed Sens. Networks, (2015)Research on Parameterized Algorithms of the Individual Haplotyping Problem., , and . J. Bioinform. Comput. Biol., 5 (3): 795-816 (2007)Energy-Efficient Multicast Protocol for Real-Time Wireless Sensor Networks., , and . HPCC/EUC, page 979-984. IEEE, (2013)C3P: A Cooperant Congestion Control Protocol in High Bandwidth-Delay Product Networks., , and . ICCCN, page 687-692. IEEE, (2007)Anchor supervised distance estimation in anisotropic wireless sensor networks., , , , and . WCNC, page 938-943. IEEE, (2011)An Explicit Congestion Control Protocol Based on Bandwidth Estimation., , , and . GLOBECOM, page 1-5. IEEE, (2011)