Autor der Publikation

MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability

, und . Artificial Intelligence, 164 (1-2): 47 - 80 (2005)
DOI: DOI: 10.1016/j.artint.2005.01.004

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formulation and Simplification of Multi-Granulation Covering Rough Sets., , und . RSEISP, Volume 8537 von Lecture Notes in Computer Science, Seite 135-142. Springer, (2014)The Design of a Class of Nonlinear Networked System., , , , , , und . Wirel. Commun. Mob. Comput., (2021)Research on Faults Propagation in Linux OS., , und . ICCSP, Seite 165-169. ACM, (2018)Research on Video Recommendation Algorithm Based on Knowledge Reasoning of Knowledge Graph., , , , und . APWeb/WAIM Workshops, Volume 11268 von Lecture Notes in Computer Science, Seite 145-158. Springer, (2018)A Ku-Band 6-Bit Vector-Sum Phase Shifter With Half-Quadrant Control Technique., , , , , , , und . IEEE Access, (2020)MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability, und . Artificial Intelligence, 164 (1-2): 47 - 80 (2005)Lagrangian Relaxation Neural Networks for Job Shop Scheduling., , und . ICRA, Seite 1799-1804. IEEE Computer Society, (1998)A Non-sequential Approach to Deep User Interest Model for CTR Prediction., , , und . SDM, Seite 531-539. SIAM, (2022)RES: An Interpretable Replicability Estimation System for Research Publications., , , , , , , , , und . AAAI, Seite 13230-13232. AAAI Press, (2022)Design and Analysis of a Ferrite-PM-Assisted Hybrid Reluctance Machine for Electric Vehicle Propulsion., , , , und . IECON, Seite 1-6. IEEE, (2021)