Search results for "puzzles"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Pratyush Ranjan Tiwari, Matthew Green 0001	Algorithm-Substitution Attacks on Cryptographic Puzzles.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
16	Shravan Srinivasan, Julian Loss, Giulio Malavolta, Kartik Nayak, Charalampos Papamanthou, Sri Aravinda Krishnan Thyagarajan	Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
16	Yi Liu 0053, Qi Wang 0012, Siu-Ming Yiu	Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
16	Rulin Chen, Ziqi Wang 0006, Peng Song 0001, Bernd Bickel	Computational design of high-level interlocking puzzles.	ACM Trans. Graph.	2022	DBLP DOI BibTeX RDF
16	Radek Pelánek, Tomás Effenberger	Design and analysis of microworlds and puzzles for block-based programming.	Comput. Sci. Educ.	2022	DBLP DOI BibTeX RDF
16	Ru Li 0002, Shuaicheng Liu, Guangfu Wang, Guanghui Liu 0001, Bing Zeng	JigsawGAN: Auxiliary Learning for Solving Jigsaw Puzzles With Generative Adversarial Networks.	IEEE Trans. Image Process.	2022	DBLP DOI BibTeX RDF
16	Raquel Martínez, Asier Salazar-Ramirez, Andoni Arruti, Eloy Irigoyen, José Ignacio Martín, Javier Muguerza	GSR signal database collected while solving 3D puzzles and relaxation responses labelled.		2022	DOI RDF
16	Tariq Muneer, Stoyanka Ivanova	Excel-VBA - From Solving Mathematical Puzzles to Analysing Complex Engineering Problems		2022	DOI RDF
16	Xuchao Gong, Qilu Zhao, Runlin Li, Zongmin Li	Revisiting the Self-supervised Learning Method of Solving Jigsaw Puzzles.	ICCCM	2022	DBLP DOI BibTeX RDF
16	Zhongle Ren, Yiming Lu, Hanxiao Wang, Yu Zhang, Biao Hou	SAR Scene Classification Based on Self-supervised Jigsaw Puzzles.	IFIP TC12 ICIS	2022	DBLP DOI BibTeX RDF
16	Adrian Groza, Cristian Nitu	Question answering over logic puzzles using theorem proving.	SAC	2022	DBLP DOI BibTeX RDF
16	Masakazu Ishihata, Fumiya Tokumasu	Solving and Generating Nagareru Puzzles.	SEA	2022	DBLP DOI BibTeX RDF
16	Shanjidah Akhter, Mehedi Hasan Sazzad, Samir Asif	Solving Numerical Puzzles and Sudoku using Pattern Recognition and Image Processing.	ICCA	2022	DBLP DOI BibTeX RDF
16	Zack Butler 0001, Ivona Bezáková, Angelina Brilliantova, Hannah Miller, Kimberly Fluet	Pencil Puzzles as a Context for Introductory Computing Assignments in Diverse Settings.	SIGCSE (2)	2022	DBLP DOI BibTeX RDF
16	Marina Khoroshiltseva, Arianna Traviglia, Marcello Pelillo, Sebastiano Vascon	Relaxation Labeling Meets GANs: Solving Jigsaw Puzzles with Missing Borders.	ICIAP (3)	2022	DBLP DOI BibTeX RDF
16	Anand D. Blum, R. Mitchell Parry	Fast Heuristic Detection of Offensive Words in Wordwheel Puzzles.	AAAI	2022	DBLP DOI BibTeX RDF
16	Kok Cheng Tan, Daniel Zantedeschi, Amruth N. Kumar, Alessio Gaspar	Genetic algorithm cleaning in sequential data mining: analyzing solutions to parsons' puzzles.	GECCO Companion	2022	DBLP DOI BibTeX RDF
16	Deborah Rose Buhion, Michaela Nicole Dizon, Thea Ellen Go, Kenneth Neil Oafallas, Patrick Jaspher Joya, Alexandra Cyrielle Mangune, Sean Paulo Nerie, Neil Patrick Del Gallego	A Comparative Study of Two Marker-Based Mobile Augmented Reality Applications for Solving 3D Anamorphic Illusion Puzzles.	VRCAI	2022	DBLP DOI BibTeX RDF
16	Jeff Bender, Bingpu Zhao, Alex Dziena, Gail E. Kaiser	Learning Computational Thinking Efficiently: How Parsons Programming Puzzles within Scratch Might Help.	ACE	2022	DBLP DOI BibTeX RDF
16	Nikola Kovacevic, Maheshya Weerasinghe, Jordan Aiko Deja	Retzzles: Engaging Users towards Retention through Touchscreen Puzzles.	ISS Companion	2022	DBLP DOI BibTeX RDF
16	Maria Vayanou, Angeliki Chrysanthi, Akrivi Katifori, Yannis E. Ioannidis	Designing Mobile-based Jigsaw Puzzles for Collocated Groups.	CHI PLAY	2022	DBLP DOI BibTeX RDF
16	Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley	Designing Perceptual Puzzles by Differentiating Probabilistic Programs.	SIGGRAPH (Conference Paper Track)	2022	DBLP DOI BibTeX RDF
16	Mohammad Hassan Ameri, Alexander R. Block, Jeremiah Blocki	Memory-Hard Puzzles in the Standard Model with Applications to Memory-Hard Functions and Resource-Bounded Locally Decodable Codes.	SCN	2022	DBLP DOI BibTeX RDF
16	Yi Liu 0053, Qi Wang 0012, Siu-Ming Yiu	Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability.	ESORICS (1)	2022	DBLP DOI BibTeX RDF
16	Guodong Wang, Yunhong Wang, Jie Qin, Dongming Zhang, Xiuguo Bao, Di Huang 0001	Video Anomaly Detection by Solving Decoupled Spatio-Temporal Jigsaw Puzzles.	ECCV (10)	2022	DBLP DOI BibTeX RDF
16	Volodymyr Novykov, Geoff Harris, Isaac Tonkin	Application of a Limit Theorem to the Construction of Japanese Crossword Puzzles.	IEA/AIE	2022	DBLP DOI BibTeX RDF
16	Stefan-Bogdan Marcu, Yanlin Mi, Venkata V. B. Yallapragada, Mark Tangney, Sabin Tabirca	Generating Jigsaw Puzzles and an AI Powered Solver.	MDIS	2022	DBLP DOI BibTeX RDF
16	Levi H. S. Lelis, João Gabriel Gama Vila Nova, Eugene Chen, Nathan R. Sturtevant, Carrie Demmans Epp, Michael Bowling	Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness.	IJCAI	2022	DBLP DOI BibTeX RDF
16	Theodoros Panagiotis Chatzinikolaou, Rafailia-Eleni Karamani, Georgios Ch. Sirakoulis	Irregular Learning Cellular Automata for the Resolution of Complex Logic Puzzles.	ACRI	2022	DBLP DOI BibTeX RDF
16	Patrick Augustin, Roméo Tédongap	Disappointment Aversion, Term Structure, and Predictability Puzzles in Bond Markets.	Manag. Sci.	2021	DBLP DOI BibTeX RDF
16	David J. Jeffrey	Problems, Puzzles, and Challenges.	Maple Trans.	2021	DBLP DOI BibTeX RDF
16	Rade Vuckovac	Cryptographic Puzzles and Complex Systems.	Complex Syst.	2021	DBLP DOI BibTeX RDF
16	Niv Derech, Ayellet Tal, Ilan Shimshoni	Solving archaeological puzzles.	Pattern Recognit.	2021	DBLP DOI BibTeX RDF
16	Megan Pusey, Kok Wai Wong, Natasha Anne Rappa	The Puzzle Challenge Analysis Tool. A Tool for Analysing the Cognitive Challenge Level of Puzzles in Video Games.	Proc. ACM Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
16	Andrey Krekhov, Katharina Emmerich, Ronja Rotthaler, Jens H. Krüger	Puzzles Unpuzzled: Towards a Unified Taxonomy for Analog and Digital Escape Room Games.	Proc. ACM Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
16	Pascal Lafourcade 0001, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone	How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Sanghai Guan, Jingjing Wang 0001, Zhengru Fang, Yong Ren 0001	On Solving Link-a-Pix Picture Puzzles.	IEEE Trans. Games	2021	DBLP DOI BibTeX RDF
16	Fang Yan, Yuanjie Zheng, Jinyu Cong, Liu Liu 0014, Dacheng Tao, Sujuan Hou	Solving Jigsaw Puzzles via Nonconvex Quadratic Programming With the Projected Power Method.	IEEE Trans. Multim.	2021	DBLP DOI BibTeX RDF
16	Ru Li 0002, Shuaicheng Liu, Guangfu Wang, Guanghui Liu 0001, Bing Zeng	JigsawGAN: Self-supervised Learning for Solving Jigsaw Puzzles with Generative Adversarial Networks.	CoRR	2021	DBLP BibTeX RDF
16	Mahla Abdolahnejad, Peter Xiaoping Liu	Face Images as Jigsaw Puzzles: Compositional Perception of Human Faces for Machines Using Generative Adversarial Networks.	CoRR	2021	DBLP BibTeX RDF
16	Tal Schuster, Ashwin Kalyan, Oleksandr Polozov, Adam Tauman Kalai	Programming Puzzles.	CoRR	2021	DBLP BibTeX RDF
16	Masaaki Kanzaki, Yota Otachi, Ryuhei Uehara	Computational Complexity of Jumping Block Puzzles.	CoRR	2021	DBLP BibTeX RDF
16	Keller Blackwell, Mary Wootters	A Note on the Permuted Puzzles Toy Conjecture.	CoRR	2021	DBLP BibTeX RDF
16	Erik D. Demaine, Jayson Lynch, Mikhail Rudoy, Yushi Uno	Yin-Yang Puzzles are NP-complete.	CoRR	2021	DBLP BibTeX RDF
16	Josh Rozner, Christopher Potts, Kyle Mahowald	Decrypting Cryptic Crosswords: Semantically Complex Wordplay Puzzles as a Target for NLP.	CoRR	2021	DBLP BibTeX RDF
16	Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch	Using Small MUSes to Explain How to Solve Pen and Paper Puzzles.	CoRR	2021	DBLP BibTeX RDF
16	Elizabeth Rowe, Jodi Asbell-Clarke, Ma. Victoria Almeda, Santiago Gasca, Teon Edwards, Erin Bardar, Valerie Shute, Matthew Ventura	Interactive Assessments of CT (IACT): Digital Interactive Logic Puzzles to Assess Computational Thinking in Grades 3-8.	Int. J. Comput. Sci. Educ. Sch.	2021	DBLP DOI BibTeX RDF
16	Isra Mohamed Ali, Maurantonio Caprolu, Roberto Di Pietro	Foundations, Properties, and Security Applications of Puzzles: A Survey.	ACM Comput. Surv.	2021	DBLP DOI BibTeX RDF
16	Rafael Pass, Muthuramakrishnan Venkitasubramaniam	Guest Column: Average-case Complexity Through the Lens of Interactive Puzzles.	SIGACT News	2021	DBLP DOI BibTeX RDF
16	Mohammad Hassan Ameri, Alexander R. Block, Jeremiah Blocki	Memory-Hard Puzzles in the Standard Model with Applications to Memory-Hard Functions and Resource-Bounded Locally Decodable Codes.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
16	Krishna Pusuluri, Hil G. E. Meijer, Andrey L. Shilnikov	(INVITED) Homoclinic puzzles and chaos in a nonlinear laser model.	Commun. Nonlinear Sci. Numer. Simul.	2021	DBLP DOI BibTeX RDF
16	Naoki Kita, Kazunori Miyata	Computational design of polyomino puzzles.	Vis. Comput.	2021	DBLP DOI BibTeX RDF
16	Adrian Groza	Modelling Puzzles in First Order Logic		2021	DOI RDF
16	Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch	Explaining Pen and Paper Puzzles with MUSes?	SICSA XAI	2021	DBLP BibTeX RDF
16	Ko Minamisawa, Ryuhei Uehara, Masao Hara	Mathematical Characterizations and Computational Complexity of Anti-slide Puzzles.	WALCOM	2021	DBLP DOI BibTeX RDF
16	Cody Freitag, Ilan Komargodski, Rafael Pass, Naomi Sirkin	Non-malleable Time-Lock Puzzles and Applications.	TCC (3)	2021	DBLP DOI BibTeX RDF
16	Itai Dinur, Ben Hasson	Distributed Merkle's Puzzles.	TCC (2)	2021	DBLP DOI BibTeX RDF
16	Karina Rodriguez-Echavarria, Myrsini Samaroudi, Jack Lloyd, Tim Weyrich	Interactive 3D Artefact Puzzles to Support Engagement Beyond the Museum Environment.	GCH	2021	DBLP DOI BibTeX RDF
16	Amruth N. Kumar	Do Students Use Semantics When Solving Parsons Puzzles? - A Log-Based Investigation.	ITS	2021	DBLP DOI BibTeX RDF
16	Adiba Afif Suha Binta Wadud, Mohammad Abdullah-Al-Wadud	An Improved Hybrid Method Combining Backtracking with Pencil and Paper for Solving Sudoku Puzzles.	ISEEIE	2021	DBLP DOI BibTeX RDF
16	Amy Sniffen, Zezhou Sun, Samuel E. Lensgraf, Emily Whiting, Alberto Quattrini Li, Devin J. Balkcom	Falling Into Place: Drop Assembly of Interlocking Puzzles.	Robotics: Science and Systems	2021	DBLP DOI BibTeX RDF
16	Vadim Bulitko, Adi Botea	Evolving Romanian Crossword Puzzles with Deep Learning and Heuristic Search.	CoG	2021	DBLP DOI BibTeX RDF
16	Zack Butler 0001, Ivona Bezáková, Kimberly Fluet	Puzzles in Many Places: Closing the Loop on Propagation.	SIGCSE	2021	DBLP DOI BibTeX RDF
16	Josef Hynek	Polynomial Algorithm for Solving Cross-matching Puzzles.	ICAISC (2)	2021	DBLP DOI BibTeX RDF
16	Hiroki Ito, Hiromitsu Shimakawa, Fumiko Harada	Estimating Learner's Perspective in Programming: Analysis of Operation Time Series in Code Puzzles.	ISKE	2021	DBLP DOI BibTeX RDF
16	Mohammad Sina Kiarostami, Mohammad Reza Daneshvaramoli, Saleh Khalaj Monfared, Aku Visuri, Helia Karisani, Simo Hosio, Hamed Khashehchi, Ehsan Futuhi, Dara Rahmati, Saeid Gorgin 0001	On Using Monte-Carlo Tree Search to Solve Puzzles.	ICCTA	2021	DBLP DOI BibTeX RDF
16	Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner	TARDIS: A Foundation of Time-Lock Puzzles in UC.	EUROCRYPT (3)	2021	DBLP DOI BibTeX RDF
16	Peleg Harel, Ohad Ben-Shahar	Crossing Cuts Polygonal Puzzles: Models and Solvers.	CVPR	2021	DBLP BibTeX RDF
16	Austin Barr, Calvin Chung, Aaron Williams	Block Dude Puzzles are NP-Hard (and the Rugs Really Tie the Reductions Together).	CCCG	2021	DBLP BibTeX RDF
16	Erik D. Demaine, Jayson Lynch, Mikhail Rudoy, Yushi Uno	Yin-Yang Puzzles are NP-complete.	CCCG	2021	DBLP BibTeX RDF
16	Alice M. Lynch	A human centered approach to logic puzzles.	CHI PLAY	2021	DBLP DOI BibTeX RDF
16	Tomás Balyo, Nils Froleyks	AI Assisted Design of Sokoban Puzzles Using Automated Planning.	ArtsIT	2021	DBLP DOI BibTeX RDF
16	Tal Schuster, Ashwin Kalyan, Alex Polozov, Adam Kalai	Programming Puzzles.	NeurIPS Datasets and Benchmarks	2021	DBLP BibTeX RDF
16	Josh Rozner, Christopher Potts, Kyle Mahowald	Decrypting Cryptic Crosswords: Semantically Complex Wordplay Puzzles as a Target for NLP.	NeurIPS	2021	DBLP BibTeX RDF
16	Peter Chvojka, Tibor Jager, Daniel Slamanig, Christoph Striecks	Versatile and Sustainable Timed-Release Encryption and Sequential Time-Lock Puzzles (Extended Abstract).	ESORICS (2)	2021	DBLP DOI BibTeX RDF
16	Edgar Avendano-Mejia, Yolanda Torres-Falcon	The Roles of Authority and Norm-Addressees in Deontic Puzzles.	DEON	2021	DBLP BibTeX RDF
16	Antonino Frazzitta, Charlie Hargood	Tale: Defamiliarizing Ludonarrative Puzzles.	ICIDS	2021	DBLP DOI BibTeX RDF
16	Anh Tuan Dang, Yu-Sin Jhou, Quang-Cherng Hsu	Application of visual-guided robots in solving assembly puzzles.	ISPACS	2021	DBLP DOI BibTeX RDF
16	Masaaki Kanzaki, Yota Otachi, Ryuhei Uehara	Computational Complexity of Jumping Block Puzzles.	COCOON	2021	DBLP DOI BibTeX RDF
16	Hans-Jörg Kreowski, Aaron Lye	A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles.	ICGT	2021	DBLP DOI BibTeX RDF
16	Horace Pan, Risi Kondor	Fourier Bases for Solving Permutation Puzzles.	AISTATS	2021	DBLP BibTeX RDF
16	Karina Rodriguez-Echavarria, Myrsini Samaroudi, Tim Weyrich	Fracturing Artefacts into 3D Printable Puzzles to Enhance Audience Engagement with Heritage Collections.	ACM Journal on Computing and Cultural Heritage	2020	DBLP DOI BibTeX RDF
16	Yoshiyasu Takefuji, Ren Yamada	A New Role of Pseudorandom Number as Inductive Inference for Solving Classic Coin-Weighing Puzzles.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
16	Holly Kantin	Why compositional nihilism dissolves puzzles.	Synth.	2020	DBLP DOI BibTeX RDF
16	Marianna Fornasiero, Federico Malucelli	Making high school students aware of optimization through games and puzzles.	RAIRO Oper. Res.	2020	DBLP DOI BibTeX RDF
16	Akihiro Uejima, Kentaro Oe	The Computational Complexity of Creek Puzzles on Several Grids.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
16	Michael Hoffmann 0001, Jayson Lynch, Andrew Winslow	Mad Science is Provably Hard: Puzzles in Hearthstone's Boomsday Lab are NP-hard.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
16	Cheolseong Park, Heekyung Yang, Kyungha Min	Generating 2D Lego Compatible Puzzles Using Reinforcement Learning.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Chuzo Iwamoto, Tatsuaki Ibusuki	Polynomial-Time Reductions from 3SAT to Kurotto and Juosan Puzzles.	IEICE Trans. Inf. Syst.	2020	DBLP BibTeX RDF
16	Naoki Kita, Takafumi Saito	Computational design of generalized centrifugal puzzles.	Comput. Graph.	2020	DBLP DOI BibTeX RDF
16	Erik D. Demaine, Matias Korman, Jason S. Ku, Joseph S. B. Mitchell, Yota Otachi, André van Renssen, Marcel Roeloffzen, Ryuhei Uehara, Yushi Uno	Symmetric assembly puzzles are hard, beyond a few pieces.	Comput. Geom.	2020	DBLP DOI BibTeX RDF
16	Masaru Kada, Souji Shizuma	Strategic equivalence among hat puzzles of various protocols with many colors.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
16	Nadia Guerroui, Hamid Seridi	Solving computational square jigsaw puzzles with a novel pairwise compatibility measure.	J. King Saud Univ. Comput. Inf. Sci.	2020	DBLP DOI BibTeX RDF
16	Yasuhiko Takenaga, Shohei Mishiba, Haruka Sugiyama	Matchstick Puzzles on a Grid.	Graphs Comb.	2020	DBLP DOI BibTeX RDF
16	Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Roderick Kimball, Justin Kopinsky	Path Puzzles: Discrete Tomography with a Path Constraint is Hard.	Graphs Comb.	2020	DBLP DOI BibTeX RDF
16	Michael Hoffmann 0001, Jayson Lynch, Andrew Winslow	Mad Science is Provably Hard: Puzzles in Hearthstone's Boomsday Lab are NP-hard.	CoRR	2020	DBLP BibTeX RDF
16	Ruo Ando, Yoshiyasu Takefuji	A new perspective of paramodulation complexity by solving massive 8 puzzles.	CoRR	2020	DBLP BibTeX RDF
16	Marie-Morgane Paumard, David Picard, Hedi Tabia	Deepzzle: Solving Visual Jigsaw Puzzles with Deep Learning andShortest Path Optimization.	CoRR	2020	DBLP BibTeX RDF
16	Theodoros Panagiotis Chatzinikolaou, Iosif-Angelos Fyrigos, Rafailia-Eleni Karamani, Vasileios G. Ntinas, Giorgos Dimitrakopoulos, Sorin Cotofana, Georgios Ch. Sirakoulis	Memristive oscillatory circuits for resolution of NP-complete logic puzzles: Sudoku case.	CoRR	2020	DBLP BibTeX RDF
16	Peleg Harel, Ohad Ben-Shahar	Lazy caterer jigsaw puzzles: Models, properties, and a mechanical system-based solver.	CoRR	2020	DBLP BibTeX RDF