( en | de | ru )

 

Disambiguierung von "Manyà, Felip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Hard Instances for MaxSAT.

, , , und . ISMVL, Seite 191-195. IEEE Computer Society, (2009)

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.

Manya Brunzema

Sônia Felipe

Manya Brunzema

Aron Manyak

Esther Ndjeka Manya

 

Weitere Publikationen von Autoren mit dem selben Namen

Extending the Reach of SAT with Many-Valued Logics., , , , und . Electron. Notes Discret. Math., (2001)White Paper on Artificial Intelligence, Robotics and Data Science, , , , , , , , , und 1 andere Autor(en). (2021)Solving MaxSAT with Natural Deduction., , und . CCIA, Volume 300 von Frontiers in Artificial Intelligence and Applications, Seite 186-195. IOS Press, (2017)A Complete Tableau Calculus for the Regular MaxSAT Problem., , , und . CCIA, Volume 375 von Frontiers in Artificial Intelligence and Applications, Seite 359-368. IOS Press, (2023)Capturing Structure with Satisfiability., , , , und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 137-152. Springer, (2001)Solving Combinatorial Problems with Regular Local Search Algorithms., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 33-43. Springer, (1999)An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers., , , , und . IJCAI, Seite 703-711. ijcai.org, (2017)A Preprocessor for Max-SAT Solvers., , und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 15-20. Springer, (2008)Improved Exact Solvers for Weighted Max-SAT., , und . SAT, Volume 3569 von Lecture Notes in Computer Science, Seite 371-377. Springer, (2005)A Tableau Calculus for Signed Maximum Satisfiability., , , , und . ISMVL, Seite 170-175. IEEE, (2023)