E-LIB Suche - Ergebnisse für: Banbara, Mutsunori

1

On the Computational Complexity of Generalized Common Shape..:

, In: Lecture Notes in Computer Science; SOFSEM 2024: Theory and Practice of Computer Science,

Banbara, Mutsunori ; Minato, Shin-ichi ; Ono, Hirotaka. - p. 55-68 , 2024

Link: https://doi.org/10.1007/..

2

Combinatorial Reconfiguration with Answer Set Programming: ..:

, In: WALCOM: Algorithms and Computation; Lecture Notes in Computer Science,

Yamada, Yuya ; Banbara, Mutsunori ; Inoue, Katsumi.. - p. 242-256 , 2024

Link: https://doi.org/10.1007/..

3

Solving Vehicle Equipment Specification Problems with Answe..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Takeuchi, Raito ; Banbara, Mutsunori ; Tamura, Naoyuki. - p. 232-249 , 2023

Link: https://doi.org/10.1007/..

4

Recongo: Bounded Combinatorial Reconfiguration with Answer ..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Yamada, Yuya ; Banbara, Mutsunori ; Inoue, Katsumi. - p. 278-286 , 2023

Link: https://doi.org/10.1007/..

5

SAF: SAT-Based Attractor Finder in Asynchronous Automata Ne..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Soh, Takehide ; Magnin, Morgan ; Le Berre, Daniel.. - p. 175-183 , 2023

Link: https://doi.org/10.1007/..

6

Hamiltonian Cycle Reconfiguration with Answer Set Programmi..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Hirate, Takahiro ; Banbara, Mutsunori ; Inoue, Katsumi... - p. 262-277 , 2023

Link: https://doi.org/10.1007/..

7

$${\varvec{teaspoon}}$$: solving the curriculum-based cours..:

Banbara, Mutsunori ; Inoue, Katsumi ; Kaufmann, Benjamin...
Annals of Operations Research. 275 (2018) 1 - p. 3-37 , 2018

Link: https://doi.org/10.1007/..

8

Clingcon: The next generation:

BANBARA, MUTSUNORI ; KAUFMANN, BENJAMIN ; OSTROWSKI, MAX.
Theory and Practice of Logic Programming. 17 (2017) 4 - p. 408-461 , 2017

Link: https://doi.org/10.1017/..

9

Answer set programming as a modeling language for course ti..:

BANBARA, MUTSUNORI ; SOH, TAKEHIDE ; TAMURA, NAOYUKI..
Theory and Practice of Logic Programming. 13 (2013) 4-5 - p. 783-798 , 2013

Link: https://doi.org/10.1017/..

10

Solving Constraint Satisfaction Problems with SAT Technolog:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Tamura, Naoyuki ; Tanjo, Tomoya ; Banbara, Mutsunori - p. 19-23 , 2010

Link: https://doi.org/10.1007/..

11

Solving constraint satisfaction problems with SAT technolog:

, In: Proceedings of the 10th international conference on Functional and Logic Programming,

Tamura, Naoyuki ; Tanjo, Tomoya ; Banbara, Mutsunori - p. 19-23 , 2010

Link: https://dl.acm.org/doi/1..

12

Compiling finite linear CSP into SAT:

Tamura, Naoyuki ; Taga, Akiko ; Kitagawa, Satoshi.
Constraints. 14 (2008) 2 - p. 254-272 , 2008

Link: https://doi.org/10.1007/..

13

A competitive and cooperative approach to propositional sat..:

Inoue, Katsumi ; Soh, Takehide ; Ueda, Seiji...
Discrete Applied Mathematics. 154 (2006) 16 - p. 2291-2306 , 2006

Link: https://doi.org/10.1016/..

14

Translating a Linear Logic Programming Language into Java:

Banbara, Mutsunori ; Tamura, Naoyuki
Electronic Notes in Theoretical Computer Science. 30 (2000) 3 - p. 20-45 , 2000

Link: https://doi.org/10.1016/..

15

SAF: SAT-based Attractor Finder in Asynchronous Automata Ne..:

Soh, Takehide ; Magnin, Morgan ; Le Berre, Daniel..
hal-04184830. , 2023

Link: https://hal.science/hal-..