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

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row., , und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 330-340. Springer, (2015)Towards a Model of Puzznic., , , , , und . CoRR, (2023)Generalised arc consistency for the AllDifferent constraint: An empirical survey., , und . Artif. Intell., 172 (18): 1973-2000 (2008)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , und . IJCAI, Seite 6833-6838. ijcai.org, (2023)Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems., , und . ECRTS, Seite 121-. IEEE Computer Society, (2003)Non-binary quantified CSP: algorithms and modelling.. Constraints An Int. J., 14 (4): 539-581 (2009)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , und . Artif. Intell., (2022)Savile Row Manual.. CoRR, (2022)Learning to select SAT encodings for pseudo-Boolean and linear integer constraints., , und . Constraints An Int. J., 28 (3): 397-426 (September 2023)S-Crucial and Bicrucial Permutations with Respect to Squares., , , , und . J. Integer Seq., 18 (6): 15.6.5 (2015)