Search results for "puzzles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Kees Joost Batenburg, Walter A. Kosters	A Reasoning Framework for Solving Nonograms.	IWCIA	2008	DBLP DOI BibTeX RDF
24	Fernando Magno Quintão Pereira, Jens Palsberg	Register allocation by puzzle solving.	PLDI	2008	DBLP DOI BibTeX RDF	puzzle solving, register aliasing, register allocation
24	Christian Müller-Tomfelde, Claudia Schremmer, Anja Wessels	Exploratory study on concurrent interaction in co-located collaboration.	OZCHI	2007	DBLP DOI BibTeX RDF	direct and indirect input devices, dual touch, multi mouse, tabletop, co-located collaboration
24	Markus Holzer 0001, Oliver Ruepp	The Troubles of Interior Design-A Complexity Analysis of the Game Heyawake.	FUN	2007	DBLP DOI BibTeX RDF
24	Owen W. S. Huang, Hercy N. H. Cheng, Tak-Wai Chan	Number Jigsaw Puzzle: A Mathematical Puzzle Game for Facilitating Players' Problem-Solving Strategies.	DIGITEL	2007	DBLP DOI BibTeX RDF
24	Tai-Wen Yue, Zou-Chung Lee	Sudoku Solver by Q'tron Neural Networks.	ICIC (1)	2006	DBLP DOI BibTeX RDF
24	Keith L. Downing	Tantrix: A Minute to Learn, 100 (Genetic Algorithm) Generations to Master.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	Tantrix, indirect-encoded genomes, genetic algorithms
24	Andrew M. Odlyzko	Privacy, economics, and price discrimination on the Internet.	ICEC	2003	DBLP DOI BibTeX RDF	Internet and railroads, privacy, price discrimination
24	XiaoFeng Wang 0001, Michael K. Reiter	Defending Against Denial-of-Service Attacks with Puzzle Auction.	S&P	2003	DBLP DOI BibTeX RDF
24	Michael Buro	Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs.	Computers and Games	2000	DBLP DOI BibTeX RDF	Amazons endgame, planning, NP-complete, puzzle
24	Toru Ishida 0001	Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	bidirectional search, real-time problem solving, organizational problem solving, heuristic depression, Search, problem solving, real-time search
24	Bernard Chazelle, Thomas Ottmann, Eljas Soisalon-Soininen, Derick Wood	The Complexity and Decidability of Separation.	ICALP	1984	DBLP DOI BibTeX RDF
21	Waseem Daher, Ran Canetti	POSH: a generalized captcha with security applications.	AISec	2008	DBLP DOI BibTeX RDF	puzzles, password security
21	Eli Biham, Yaron J. Goren, Yuval Ishai	Basing Weak Public-Key Cryptography on Strong One-Way Functions.	TCC	2008	DBLP DOI BibTeX RDF	Merkle’s puzzles, quantum computing, Public-key cryptography, one-way functions, bounded storage model
21	David M. W. Powers, Richard Leibbrandt, Darius Pfitzner, Martin H. Luerssen, Trent W. Lewis, Arman Abrahamyan, Kate Stevens	Language teaching in a mixed reality games environment.	PETRA	2008	DBLP DOI BibTeX RDF	mixed reality environment, multi-modal communication, second language teaching, games, serious games, embodied conversational agents, human-computer interfaces, puzzles, exploratory learning, call
21	Helena Cristina da Gama Leitão, Jorge Stolfi	Measuring the Information Content of Fracture Lines.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	jigsaw puzzles, fractals, shape recognition, information content, curve matching
21	Robert Bernecky	The Role of Dynamic Programming & Control Structures in Performance.	APL	1995	DBLP DOI BibTeX RDF	flow control structures, interpreter overhead, optimization, performance, APL, APL, dynamic programming, J, puzzles, control structures
16	Fernanda Miyuki Yamada, Harlen Costa Batagelo, João Paulo Gois, Hiroki Takahashi	Generative approaches for solving tangram puzzles.	Discov. Artif. Intell.	2024	DBLP DOI BibTeX RDF
16	Scott Weiss	AP CS Puzzles (3 of 4).	Inroads	2024	DBLP DOI BibTeX RDF
16	Masaaki Kanzaki, Yota Otachi, Giovanni Viglietta, Ryuhei Uehara	Computational complexity of jumping block puzzles.	Theor. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Chuan Wang, Bing Sun, Ke-Jing Du, Jian-Yu Li, Zhi-Hui Zhan, Sang-Woon Jeon, Hua Wang 0002, Jun Zhang	A Novel Evolutionary Algorithm With Column and Sub-Block Local Search for Sudoku Puzzles.	IEEE Trans. Games	2024	DBLP DOI BibTeX RDF
16	Neil Zhao, Diana Zheng	Solving Jigsaw Puzzles using Iterative Random Sampling: Parallels with Development of Skill Mastery.	CoRR	2024	DBLP DOI BibTeX RDF
16	Xinying Hou, Zihan Wu 0002, Xu Wang 0016, Barbara J. Ericson	CodeTailor: Personalized Parsons Puzzles are Preferred Over AI-Generated Solutions to Support Learning.	CoRR	2024	DBLP DOI BibTeX RDF
16	Deepanway Ghosal, Vernon Toh Yan Han, Yew Ken Chia, Soujanya Poria	Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious Challenges in Multimodal Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
16	Ioannis Panagiotopoulos, Giorgos Filandrianos, Maria Lymperaiou, Giorgos Stamou	AILS-NTUA at SemEval-2024 Task 9: Cracking Brain Teasers: Transformer Models for Lateral Thinking Puzzles.	CoRR	2024	DBLP DOI BibTeX RDF
16	Md. Nishat Raihan, Dhiman Goswami, Al Nahian Bin Emran, Sadiya Sayara Chowdhury Puspo, Amrita Ganguly, Marcos Zampieri	MasonTigers at SemEval-2024 Task 9: Solving Puzzles with an Ensemble of Chain-of-Thoughts.	CoRR	2024	DBLP DOI BibTeX RDF
16	Chris Edwards	Answers Begin to Surface to Deep Earth Puzzles.	Commun. ACM	2024	DBLP DOI BibTeX RDF
16	Theodoros Panagiotis Chatzinikolaou, Rafailia-Eleni Karamani, Iosif-Angelos Fyrigos, Georgios Ch. Sirakoulis	Handling Sudoku puzzles with irregular learning cellular automata.	Nat. Comput.	2024	DBLP DOI BibTeX RDF
16	Marcus Gozon, Jingjin Yu	On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles.	AAAI	2024	DBLP DOI BibTeX RDF
16	Liheng Shen, Tetsu Matsukawa, Einoshin Suzuki	SATJiP: Spatial and Augmented Temporal Jigsaw Puzzles for Video Anomaly Detection.	PAKDD (1)	2024	DBLP DOI BibTeX RDF
16	Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono 0001, Ryuhei Uehara	On the Computational Complexity of Generalized Common Shape Puzzles.	SOFSEM	2024	DBLP DOI BibTeX RDF
16	Riccardo Buscaroli, Federico Chesani, Giulia Giuliani, Daniela Loreti, Paola Mello	A Prolog application for reasoning on maths puzzles with diagrams.	J. Exp. Theor. Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Phuong T. Nguyen 0001, Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, Massimiliano Di Penta	Fitting missing API puzzles with machine translation techniques.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
16	Scott Weiss	AP CS Puzzles (1 of 4).	Inroads	2023	DBLP DOI BibTeX RDF
16	Scott Weiss	AP CS Puzzles (2 of 4).	Inroads	2023	DBLP DOI BibTeX RDF
16	Yingyi Chen, Xi Shen 0001, Yahui Liu, Qinghua Tao, Johan A. K. Suykens	Jigsaw-ViT: Learning jigsaw puzzles in vision transformer.	Pattern Recognit. Lett.	2023	DBLP DOI BibTeX RDF
16	Servet B. Bayraktar, Andreas Orthey, Zachary K. Kingston, Marc Toussaint, Lydia E. Kavraki	Solving Rearrangement Puzzles Using Path Defragmentation in Factored State Spaces.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
16	Hiroki Takizawa	Strongly solved Ostle: calculating a strong solution helps compose high-quality puzzles for recent games.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Ko Minamisawa, Ryuhei Uehara, Masao Hara	Mathematical characterizations and computational complexity of anti-slide puzzles.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Wongi Park, Jongbin Ryu	Fine-Grained Self-Supervised Learning with Jigsaw Puzzles for Medical Image Classification.	CoRR	2023	DBLP DOI BibTeX RDF
16	Julien Pourcel, Cédric Colas, Pierre-Yves Oudeyer, Laetitia Teodorescu	ACES: Generating Diverse Programming Puzzles with Autotelic Language Models and Semantic Descriptors.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yifan Jiang 0001, Filip Ilievski, Kaixin Ma, Zhivar Sourati	BRAINTEASER: Lateral Thinking Puzzles for Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
16	Daniel Miedema, Malvin Gattinger	Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.	TARK	2023	DBLP DOI BibTeX RDF
16	Kamyar Zeinalipour, Tommaso Iaquinta, Asya Zanollo, Giovanni Angelini, Leonardo Rigutini, Marco Maggini, Marco Gori	Italian Crossword Generator: Enhancing Education through Interactive Word Puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Robert Gorwa, Michael Veale	Moderating Model Marketplaces: Platform Governance Puzzles for AI Intermediaries.	CoRR	2023	DBLP DOI BibTeX RDF
16	Justin Stevens, Vadim Bulitko, David Thue	Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate.	CoRR	2023	DBLP DOI BibTeX RDF
16	Kaito Majima, Shotaro Ishihara	Generating News-Centric Crossword Puzzles As A Constraint Satisfaction and Optimization Problem.	CoRR	2023	DBLP DOI BibTeX RDF
16	Marcus Gozon, Jingjin Yu	On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Matthew Anderson, Vu Le	Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication.	CoRR	2023	DBLP DOI BibTeX RDF
16	Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono 0001, Ryuhei Uehara	On the Computational Complexity of Generalized Common Shape Puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Adrian Groza	Solving probability puzzles with logic toolkit.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jingmiao Zhao, Carolyn Jane Anderson	Solving and Generating NPR Sunday Puzzles with Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
16	Moritz Beyer, Stefano Mereta, Érika Roldán, Peter Voran	Higher-dimensional cubical sliding puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ujaan Rakshit, Nishchal Dwivedi	What is the Title of this Paper? Solving logic puzzles using algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Shulin Huang, Shirong Ma, Yinghui Li, Mengzuo Huang, Wuhe Zou, Weidong Zhang 0006, Hai-Tao Zheng 0002	LatEval: An Interactive LLMs Evaluation Benchmark with Incomplete Information from Lateral Thinking Puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Matthew Anderson, Zongliang Ji, Anthony Yang Xu	Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.	CoRR	2023	DBLP DOI BibTeX RDF
16	Naga Vemprala, Charles Zhechao Liu, Kim-Kwang Raymond Choo	From puzzles to portraits: Enhancing situation awareness during natural disasters using a design science approach.	Decis. Sci.	2023	DBLP DOI BibTeX RDF
16	Gongxian Zeng, Zhengan Huang, Yu Wang, Xin Mu, Cheng Zhang	Strongly nonoutsourceable scratch-off puzzles in blockchain.	Soft Comput.	2023	DBLP DOI BibTeX RDF
16	S. V. Nagaraj	Review of Programming for the Puzzled: Learn to Program While Solving Puzzles Srini Devadas.	SIGACT News	2023	DBLP DOI BibTeX RDF
16	Jesko Dujmovic, Rachit Garg, Giulio Malavolta	Time-Lock Puzzles with Efficient Batch Solving.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
16	Karim Eldefrawy, Sashidhar Jakkamsetti, Ben Terner, Moti Yung	Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
16	Abtin Afshar, Kai-Min Chung, Yao-Ching Hsieh, Yao-Ting Lin, Mohammad Mahmoody	On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
16	Jeff Bender, Bingpu Zhao, Alex Dziena, Gail E. Kaiser	Integrating Parsons puzzles within Scratch enables efficient computational thinking learning.	Res. Pract. Technol. Enhanc. Learn.	2023	DBLP DOI BibTeX RDF
16	Naoki Kita	Dissection Puzzles Composed of Multicolor Polyominoes.	Comput. Graph. Forum	2023	DBLP DOI BibTeX RDF
16	Kaito Majima, Shotaro Ishihara	Generating News-Centric Crossword Puzzles As A Constraint Satisfaction and Optimization Problem.	CIKM	2023	DBLP DOI BibTeX RDF
16	Amruth N. Kumar	Using Markov Matrix to Analyze Students' Strategies for Solving Parsons Puzzles.	EDM	2023	DBLP BibTeX RDF
16	Talissa Dreossi	Exploring ILASP Through Logic Puzzles Modelling.	CILC	2023	DBLP BibTeX RDF
16	Olivér M. Balogh, Zoltán Vámossy	Solving Jigsaw Puzzles Using Computer Vision and Curve Similarity Measures.	SACI	2023	DBLP DOI BibTeX RDF
16	Adi Botea, Vadim Bulitko	Generating and Solving Champion-Level Romanian Crosswords Puzzles.	CoG	2023	DBLP DOI BibTeX RDF
16	Abtin Afshar, Kai-Min Chung, Yao-Ching Hsieh, Yao-Ting Lin, Mohammad Mahmoody	On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model.	ASIACRYPT (4)	2023	DBLP DOI BibTeX RDF
16	Enrico Nardelli, Francesco Lacchia, Renzo Davoli, Michael Lodi, Marco Sbaraglia, Veronica Rossano, Enrichetta Gentile, Violetta Lonati, Mattia Monga, Anna Morpurgo, Luca Forlizzi, Giovanna Melideo, Sara Capecchi, Ilenia Fronza, Tullio Vardanega	Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
16	Zack J. Butler, Ivona Bezáková, Angelina Brilliantova	Putting a Context in Context: Investigating the Context of Pencil Puzzles in Multiple Academic Environments.	SIGCSE (1)	2023	DBLP DOI BibTeX RDF
16	Xingke Song, Jiahuan Jin, Chenglin Yao, Shihe Wang, Jianfeng Ren, Ruibin Bai	Siamese-Discriminant Deep Reinforcement Learning for Solving Jigsaw Puzzles with Large Eroded Gaps.	AAAI	2023	DBLP DOI 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.	Public Key Cryptography (1)	2023	DBLP DOI BibTeX RDF
16	Jia Chen, Haidongqing Yuan, Fei Fang, Tao Peng 0006, Xinrong Hu	Unsupervised Fashion Style Learning by Solving Fashion Jigsaw Puzzles.	ICME	2023	DBLP DOI BibTeX RDF
16	Kamyar Zeinalipour, Tommaso Iaquinta, Asya Zanollo, Giovanni Angelini, Leonardo Rigutini, Marco Maggini, Marco Gori	Italian Crossword Generator: Enhancing Education through Interactive Word Puzzles.	CLiC-it	2023	DBLP BibTeX RDF
16	Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen	Modeling Regex Operators for Solving Regex Crossword Puzzles.	SETTA	2023	DBLP DOI BibTeX RDF
16	Yifan Jiang 0001, Filip Ilievski, Kaixin Ma, Zhivar Sourati	BRAINTEASER: Lateral Thinking Puzzles for Large Language Models.	EMNLP	2023	DBLP DOI BibTeX RDF
16	Renata Mutalova, Roman Sarrazin-Gendron, Parham Ghasemloo Gheidari, Eddie Cai, Gabriel Richard, Sébastien Caisse, Rob Knight 0001, Mathieu Blanchette, Attila Szantner, Jérôme Waldispühl	Player-Guided AI outperforms standard AI in Sequence Alignment Puzzles.	CI	2023	DBLP DOI BibTeX RDF
16	Sam Davern, Mads Haahr	Towards Procedural Generation of Narrative Puzzles for Open World Games.	ICIDS (2)	2023	DBLP DOI BibTeX RDF
16	Sam Davern, Mads Haahr	On the Interactions Between Narrative Puzzles and Navigation Aids in Open World Games.	ICIDS (1)	2023	DBLP DOI BibTeX RDF
16	Oleg Tarakanov	Complete Search of Sliding Tile Puzzles on a Personal Computer [Extended Abstract].	SOCS	2023	DBLP DOI BibTeX RDF
16	Matthew Anderson, Vu Le	Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication.	COCOON (2)	2023	DBLP DOI BibTeX RDF
16	Roland Hachmann	The Cyber Weapon: Decomposing Puzzles in Unplugged Computational Thinking Practices with Computational Objects.	Künstliche Intell.	2022	DBLP DOI BibTeX RDF
16	Mehrab Najafian, T. Aaron Gulliver, Morteza Esmaeili	Construction of Standard Solid Sudoku Cubes and 3D Sudoku Puzzles.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Laith Alzboon, Benedek Nagy	A Comparison of Various Extensions of Strong Truthteller and Strong Liar Puzzles (Mutes and Crazies).	Axioms	2022	DBLP DOI BibTeX RDF
16	Gershon Elber, Myung-Soo Kim	Synthesis of 3D jigsaw puzzles over freeform 2-manifolds.	Comput. Graph.	2022	DBLP DOI BibTeX RDF
16	Yuhua Yu, Yongtaek Oh, John Kounios, Mark Beeman	Dynamics of hidden brain states when people solve verbal puzzles.	NeuroImage	2022	DBLP DOI BibTeX RDF
16	Huw Lloyd, Matthew Crossley, Mark C. Sinclair, Martyn Amos	J-POP: Japanese Puzzles as Optimization Problems.	IEEE Trans. Games	2022	DBLP DOI BibTeX RDF
16	Mehrab Najafian, Morteza Esmaeili, T. Aaron Gulliver, Mohammad Hesam Tadayon	Twin Sudoku Puzzles and Triplet Solid Sudoku Cubes From Strongly Mutually Distinct Twin Sudoku Tables.	IEEE Trans. Games	2022	DBLP DOI BibTeX RDF
16	Ruo Ando, Yoshiyasu Takefuji	An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation.	CoRR	2022	DBLP 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.	CoRR	2022	DBLP DOI BibTeX RDF
16	S. Bora Bayraktar, Andreas Orthey, Zachary K. Kingston, Marc Toussaint, Lydia E. Kavraki	Solving Rearrangement Puzzles using Path Defragmentation in Factored State Spaces.	CoRR	2022	DBLP DOI BibTeX RDF
16	Jirí Raclavský	Puzzles of Existential Generalisation from Type-theoretic Perspective.	NCL	2022	DBLP DOI BibTeX RDF
16	Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley	Designing Perceptual Puzzles by Differentiating Probabilistic Programs.	CoRR	2022	DBLP DOI BibTeX RDF
16	Marina Khoroshiltseva, Arianna Traviglia, Marcello Pelillo, Sebastiano Vascon	Relaxation Labeling Meets GANs: Solving Jigsaw Puzzles with Missing Borders.	CoRR	2022	DBLP DOI BibTeX RDF
16	Yingyi Chen, Xi Shen 0001, Yahui Liu, Qinghua Tao, Johan A. K. Suykens	Jigsaw-ViT: Learning Jigsaw Puzzles in Vision Transformer.	CoRR	2022	DBLP DOI BibTeX RDF
16	George Spahn	Enumerating Solutions to Grid-Based Puzzles with a Fixed Number of Rows.	Math. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar	Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
16	Kazuki Takabatake, Keisuke Yanagisawa, Yutaka Akiyama	Solving Generalized Polyomino Puzzles Using the Ising Model.	Entropy	2022	DBLP DOI BibTeX RDF