( en | de | ru )

 

Disambiguierung von "Banbara, Mutsunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Clingcon: The Next Generation.

, , , und . CoRR, (2017)

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.

Keine Personen gefunden für den Autorennamen Banbara, Mutsunori
Eine Person hinzufügen mit dem Namen Banbara, Mutsunori
 

Weitere Publikationen von Autoren mit dem selben Namen

Bounded Combinatorial Reconfiguration with Answer Set Programming., , , und . CoRR, (2023)Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions., , , , , und . CoRR, (2022)Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , und . ICTAI, Seite 1020-1027. IEEE Computer Society, (2013)Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix., , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 86-97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)teaspoon : solving the curriculum-based course timetabling problems with answer set programming., , , , , , , und . Ann. Oper. Res., 275 (1): 3-37 (2019)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , und . RCRA, Volume 451 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis., , , , und . WALCOM, Volume 14549 von Lecture Notes in Computer Science, Seite 242-256. Springer, (2024)Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming., , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 278-286. Springer, (2023)Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 596-614. Springer, (2017)Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)., , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 456-462. Springer, (2012)