نتایج جستجو برای: declarative recast

تعداد نتایج: 12503  

Journal: :Electronic Notes in Theoretical Computer Science 2002

Journal: :TheoLogica: An International Journal for Philosophy of Religion and Philosophical Theology 2017

Journal: :Electronic Notes in Theoretical Computer Science 2001

Journal: :ACM SIGSOFT Software Engineering Notes 2006

Journal: :The Journal of the Acoustical Society of America 1982

Journal: :Journal of Logic and Computation 2022

Abstract In this paper, we analyze the physical puzzle IcoSoKu, a game about placing some given triangular tiles on faces of an icosahedron in order to fill capacities its vertices, and propose generalization called 3coSoKu, admitting arbitrary playing field with faces, set tiles. First, prove strong NP-completeness even when is convex polyhedron equilateral triangles as faces. Second, encode 3...

Journal: :The Journal of Logic Programming 1991

Journal: :IEEE Transactions on Knowledge and Data Engineering 1993

Journal: :Autonomous Agents and Multi-Agent Systems 2010

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید