( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

, , , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 278-286. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Banbara, Mutsunori
add a person with the name Banbara, Mutsunori
 

Другие публикации лиц с тем же именем

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , и . ICTAI, стр. 1020-1027. IEEE Computer Society, (2013)Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming., , , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 278-286. Springer, (2023)Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis., , , , и . WALCOM, том 14549 из Lecture Notes in Computer Science, стр. 242-256. Springer, (2024)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , и . RCRA, том 451 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation., , , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 596-614. Springer, (2017)Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix., , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 86-97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Compiling Resources in a Linear Logic Programming Language., и . Implementation Technology for Programming Languages based on Logic, стр. 32-45. (1998)Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)., , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 456-462. Springer, (2012)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 262-277. Springer, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , и . CMSB, том 14137 из Lecture Notes in Computer Science, стр. 175-183. Springer, (2023)