Author of the publication

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

Constrained space-time zero-forcing pre-equalizer for the downlink channel of UMTS-TDD., , and . PIMRC, page 1122-1126. IEEE, (2002)On Tackling the Limits of Resolution in SAT Solving., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 164-183. Springer, (2017)Core-Guided MaxSAT with Soft Cardinality Constraints., , and . CP, volume 8656 of Lecture Notes in Computer Science, page 564-573. Springer, (2014)Horn Maximum Satisfiability: Reductions, Algorithms and Applications., , and . EPIA, volume 10423 of Lecture Notes in Computer Science, page 681-694. Springer, (2017)Model-Guided Approaches for MaxSAT Solving., , and . ICTAI, page 931-938. IEEE Computer Society, (2013)Model-Based Diagnosis with Multiple Observations., , , and . IJCAI, page 1108-1115. ijcai.org, (2019)Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem., and . Fundam. Inform., 102 (3-4): 363-389 (2010)MSCG: Robust Core-Guided MaxSAT Solving., , and . JSAT, (2014)Maximal falsifiability., , , and . AI Commun., 29 (2): 351-370 (2016)Pre-equalization technique for interference cancellation in the UMTS-TDD downlink channel., , , and . VTC Fall, page 878-881. IEEE, (2001)