( en | de | ru )

 

Disambiguierung von "Banbara, Mutsunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

, , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 278-286. Springer, (2023)

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

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , und . ICTAI, Seite 1020-1027. IEEE Computer Society, (2013)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)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , und . RCRA, Volume 451 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)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)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)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 175-183. Springer, (2023)Compiling Resources in a Linear Logic Programming Language., und . Implementation Technology for Programming Languages based on Logic, Seite 32-45. (1998)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)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2023)