( en | de | ru )

 

Disambiguierung von "Banbara, Mutsunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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)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)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , und . BIOINFORMATICS, Seite 163-174. SCITEPRESS, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 175-183. Springer, (2023)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)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)