Autor der Publikation

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

Computing and estimating the volume of the solution space of SMT(LA) constraints., , , und . Theor. Comput. Sci., (2018)Word Level Robustness Enhancement: Fight Perturbation with Perturbation., , , , , und . AAAI, Seite 10785-10793. AAAI Press, (2022)Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing., , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 354-369. Springer, (2018)Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5., , , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 225-241. Springer, (2021)Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search., , , , , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 650-665. Springer, (2016)An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints., und . WETICE, Seite 324-329. IEEE Computer Society, (2012)PSMT: Satisfiability Modulo Theories Meets Probability Distribution., , , , , , , und . ASE, Seite 1756-1760. IEEE, (2023)Volume Computation for Boolean Combination of Linear Arithmetic Constraints., , und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 453-468. Springer, (2009)Solving Generalized Optimization Problems Subject to SMT Constraints., , und . FAW-AAIM, Volume 7285 von Lecture Notes in Computer Science, Seite 247-258. Springer, (2012)On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model., , , , und . CoRR, (2018)