Search results for "backtracking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yun	A Configuration Algorithm for Provisioning of Cell-Based MPLS Network.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
17	David G. Mitchell	Resolution and Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
17	Kam-Fai Chan, Kam-Tim Woo, Chi-Wah Kok	Vector quantization fast search algorithm using hyperplane based k-dimensional multi-node search tree.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
17	Enrico Giunchiglia, Marco Maratea, Armando Tacchella	Dependent and Independent Variables in Propositional Satisfiability.	JELIA	2002	DBLP DOI BibTeX RDF
17	Javier Zalamea, Josep Llosa, Eduard Ayguadé, Mateo Valero	Modulo scheduling with integrated register spilling for clustered VLIW architectures.	MICRO	2001	DBLP DOI BibTeX RDF
17	Martin Giese	Incremental Closure of Free Variable Tableaux.	IJCAR	2001	DBLP DOI BibTeX RDF
17	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
17	Lyndon Drake	Automatic Generation of Implied Clauses for SAT.	CP	2001	DBLP DOI BibTeX RDF
17	Hartwig Baumgärtel	Distributed Constraint Processing for Production Logistics.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
17	Stefan Brüning, Torsten Schaub	Avoiding Non-ground Variables.	ESCQARU	1999	DBLP DOI BibTeX RDF
17	Luigi Portinale	Modeling and Solving Constraint Satisfaction Problems through Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
17	Peter van Beek, Rina Dechter	On the Minimality and Decomposability of Row-Convex Constraint Networks.	J. ACM	1995	DBLP DOI BibTeX RDF	row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property
17	Keumog Ahn, Sartaj Sahni	Constrained via minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
17	Anton Eliëns, Erik P. de Vink	Asynchronous Rendez-vous in Distributed Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	metric semantics, distributed logic programming, concurrency, continuations
17	Rumen Andonov, Patrice Quinton	Efficient Linear Systolic Array for the Knapsack Problem.	CONPAR	1992	DBLP DOI BibTeX RDF
17	Yuejun Jiang	Another View of Autoepistemic Logic and Truth Maintenance System.	ISMIS	1991	DBLP DOI BibTeX RDF	Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation
17	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
17	Yuzo Takamatsu, Kozo Kinoshita	Extended selection of switching target faults in CONT algorithm for test generation.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	fault target switching, fault simulation, D-algorithm
17	Juhani Jaakola	Modifying the Simplex Algorithm to a Constraint Solver.	PLILP	1990	DBLP DOI BibTeX RDF
17	Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo	Getting Back to the Past in the Union-Find Problem.	STACS	1988	DBLP DOI BibTeX RDF
17	Jerry D. Smith	Implementing knowledge bases on secondary storage (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
17	Hans-Albert Schneider	An Improvement of Deduction Plans: Refutation Plans.	CADE	1986	DBLP DOI BibTeX RDF
17	Maurice Bruynooghe	Analysis of Dependencies to Improve the Behaviour of Logic Programs.	CADE	1980	DBLP DOI BibTeX RDF
15	Yuhan Wu, Xiyu Meng, Junru Zhang, Yang He, Joseph A. Romo, Yabo Dong, Dongming Lu	Effective LSTMs with seasonal-trend decomposition and adaptive learning and niching-based backtracking search algorithm for time series forecasting.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
15	Wenying Li, Qinghong Guo, Ming Wen, Yun Zhang, Xin Pan, Zhenfeng Xiao, Shuzhi Yang	Dynamic reconfiguration of active distribution network based on improved backtracking search algorithm.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
15	Shengwu Zhao, Xuan Xiao, Xuan Pang, Yu Wang, Zhihong Deng	Gravity Matching Algorithm Based on Backtracking for Small Range Adaptation Area.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
15	Xiao Yu, Jian Zhao 0023, Haipeng Zhang, Xiaoyu Wang 0003, Xiaoyan Bian	Data-Driven Distributed Grid Topology Identification Using Backtracking Jacobian Matrix Approach.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
15	John Erik Fornaess, Mi Hu, Tuyen Trung Truong, Takayuki Watanabe	Backtracking New Q-Newton's method, Newton's flow, Voronoi's diagram and Stochastic root finding.	CoRR	2024	DBLP DOI BibTeX RDF
15	Chia Hsuan Tsai, Fatemeh Elyasi, Peng Ren 0003, Roberto Manduchi	All the Way There and Back: Inertial-Based, Phone-in-Pocket Indoor Wayfinding and Backtracking Apps for Blind Travelers.	CoRR	2024	DBLP DOI BibTeX RDF
15	Raphael Seidel, René Zander, Matic Petric, Niklas Steinmann, David Q. Liu, Nikolay Tcholtchev, Manfred Hauswirth	Quantum Backtracking in Qrisp Applied to Sudoku Problems.	CoRR	2024	DBLP DOI BibTeX RDF
15	Guang-Yuan Hao, Jiji Zhang, Biwei Huang, Hao Wang, Kun Zhang	Natural Counterfactuals With Necessary Backtracking.	CoRR	2024	DBLP DOI BibTeX RDF
15	Heming Jia, Chenghao Lu, Zhikai Xing	Memory backtracking strategy: An evolutionary updating mechanism for meta-heuristic algorithms.	Swarm Evol. Comput.	2024	DBLP DOI BibTeX RDF
15	Alexander Mendelsohn, Donald Sofge, Michael W. Otte	Enhancing Search and Rescue Capabilities in Hazardous Communication-Denied Environments through Path-Based Sensors with Backtracking.	AAMAS	2024	DBLP BibTeX RDF
15	Junwei Wang, Xiyuan Chen, Xin Shao	An Adaptive Multiple Backtracking UKF Method Based on Krein Space Theory for Marine Vehicles Alignment Process.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
15	Ike Mulder, Lukasz Czajka 0001, Robbert Krebbers	Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu	Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Qianrong Ma, Yingxiao Sun, Shiquan Wan, Yu Gu, Yang Bai, Jiayi Mu	An ENSO Prediction Model Based on Backtracking Multiple Initial Values: Ordinary Differential Equations-Memory Kernel Function.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Ke Wang 0003, Philip Matchett Wood	Limiting empirical spectral distribution for the non-backtracking matrix of an Erdős-Rényi random graph.	Comb. Probab. Comput.	2023	DBLP DOI BibTeX RDF
15		RETRACTED ARTICLE: Difference backtracking deblurring method for underwater images.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
15	Zhongbing Li, Xinyu Zheng, Guihui Chen, Yuli Wei, Kai Lu	A Matching Pursuit Algorithm for Sparse Signal Reconstruction Based on Jaccard Coefficient and Backtracking.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
15	Jianhong Xiang, Haoyuan Li, Liangang Qi, Yu Zhong, Hanyu Jiang	Sparse Signal and Image Reconstruction Algorithm for Adaptive Dual Thresholds Matching Pursuit Based on Variable-step Backtracking Strategy.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
15	Yiying Zhang, Guanzhong Zhou, Peng Hang, Chao Huang 0006, Hailong Huang	An Enhanced Backtracking Search Algorithm for the Flight Planning of a Multi-Drones-Assisted Commercial Parcel Delivery System.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
15	Junwei Wang, Xiyuan Chen, Jianguo Liu, Xuefen Zhu, Yulu Zhong	A Robust Backtracking CKF Based on Krein Space Theory for In-Motion Alignment Process.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
15	Evita Nestoridi, Peter Sarnak	Bounded Cutoff Window for the Non-backtracking Random Walk on Ramanujan Graphs.	Comb.	2023	DBLP DOI BibTeX RDF
15	Yiying Zhang	Backtracking search algorithm driven by generalized mean position for numerical and industrial engineering problems.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
15	A. N. Omara, Nouf Saeed Alotaibi	BTGP: Enhancing the perceptual recovery of the image compressive sensing using a backtracking greedy pursuit algorithm.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Jingru Ren, Wenming Zhu	Backtracking search optimization algorithm with dual scatter search strategy for automated test case generation.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Qihang Zhai, Xiongkui Zhang, Zilin Zhang, Jiabin Liu, Shafei Wang	Online few-shot learning for multi-function radars mode recognition based on backtracking contextual prototypical memory.	Digit. Signal Process.	2023	DBLP DOI BibTeX RDF
15	Frederik Kunstner, Victor S. Portella, Mark Schmidt 0001, Nick Harvey	Searching for Optimal Per-Coordinate Step-sizes with Multidimensional Backtracking.	CoRR	2023	DBLP DOI BibTeX RDF
15	John Erik Fornaess, Mi Hu, Tuyen Trung Truong, Takayuki Watanabe	Backtracking New Q-Newton's method, Schröder's theorem, and Linear Conjugacy.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vanni Noferini, María C. Quintana	Generating functions of non-backtracking walks on weighted digraphs: radius of convergence and Ihara's theorem.	CoRR	2023	DBLP DOI BibTeX RDF
15	Klaus-Rudolf Kladny, Julius von Kügelgen, Bernhard Schölkopf, Michael Muehlebach	Deep Backtracking Counterfactuals for Causally Compliant Explanations.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shamna Pootheri, Govindan V. K	Localisation of Mammographic masses by Greedy Backtracking of Activations in the Stacked Auto-Encoders.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zhenzhen Liu, Chao Wan, Varsha Kishore, Jin Peng Zhou, Minmin Chen, Kilian Q. Weinberger	Correction with Backtracking Reduces Hallucination in Summarization.	CoRR	2023	DBLP DOI BibTeX RDF
15	Seonghyun Park 0004, Narae Ryu, Gahee Kim, Dongyeop Woo, Se-Young Yun, Sungsoo Ahn	Non-backtracking Graph Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Seunghwan Min, Jihoon Jang, Kunsoo Park, Dora Giammarresi, Giuseppe F. Italiano, Wook-Shin Han	Time-Constrained Continuous Subgraph Matching Using Temporal Information for Filtering and Backtracking.	CoRR	2023	DBLP DOI BibTeX RDF
15	Chris Cundy, Stefano Ermon	SequenceMatch: Imitation Learning for Autoregressive Sequence Modelling with Backtracking.	CoRR	2023	DBLP DOI BibTeX RDF
15	Rongjian Yang, Zhijie Zhang, Weiguo Zheng, Jeffrey Xu Yu	Fast Continuous Subgraph Matching over Streaming Graphs via Backtracking Reduction.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jin Yu, Xiaoming You, Sheng Liu 0007	Deadlock avoidance based on connectivity detection and dynamic backtracking for path planning.	Soft Comput.	2023	DBLP DOI BibTeX RDF
15	Sukanta Nama, Apu Kumar Saha, Sanjoy Chakraborty, Amir H. Gandomi, Laith Abualigah	Boosting particle swarm optimization by backtracking search algorithm for optimization problems.	Swarm Evol. Comput.	2023	DBLP DOI BibTeX RDF
15	Shilin Mi, Guangzhi Du	A two-grid method with backtracking for Magnetohydrodynamic equations with low electromagnetic Reynolds number.	Appl. Math. Lett.	2023	DBLP DOI BibTeX RDF
15	Kaiqi Chen, Huagen Wan, Shengdong Zhao, Xutao Liu	BackTracer: Improving ray-casting 3D target acquisition by backtracking the interaction history.	Int. J. Hum. Comput. Stud.	2023	DBLP DOI BibTeX RDF
15	Yiying Zhang, Chao Huang 0006, Hailong Huang	Backtracking search algorithm with dynamic population for energy consumption problem of a UAV-assisted IoT data collection system.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
15	Mark Zhandry	Tracing Quantum State Distinguishers via Backtracking.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Jürgen Jost, Raffaella Mulas, Leo Torres 0003	Spectral theory of the non-backtracking Laplacian for graphs.	Discret. Math.	2023	DBLP DOI BibTeX RDF
15	Steve Dunne, João F. Ferreira 0001, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda	bGSL: An imperative language for specification and refinement of backtracking programs.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
15	Rongjian Yang, Zhijie Zhang, Weiguo Zheng, Jeffrey Xu Yu	Fast Continuous Subgraph Matching over Streaming Graphs via Backtracking Reduction.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
15	Fei Yu 0008, Bang Liang, Bo Tang, Hongrun Wu	An Interactive Differential Evolution Algorithm Based on Backtracking Strategy Applied in Interior Layout Design.	Algorithms	2023	DBLP DOI BibTeX RDF
15	Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson	Perfect refiners for permutation group backtracking algorithms.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
15	Yaozong Tang, Gang Luo, Qingzhi Yang	An efficient PGM-based algorithm with backtracking strategy for solving quadratic optimization problems with spherical constraint.	J. Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
15	David Brandfonbrener, Stephen Tu, Avi Singh, Stefan Welker, Chad Boodoo, Nikolai Matni, Jake Varley	Visual Backtracking Teleoperation: A Data Collection Protocol for Offline Image-Based Reinforcement Learning.	ICRA	2023	DBLP DOI BibTeX RDF
15	Xuefeng Li, Chengzhao Shan, Yongkui Ma, Honglin Zhao, Shaobo Jia, Di Zhang 0002	A Variable Step-Size Backtracking SAMP Channel Estimation Method for OTFS System.	GLOBECOM	2023	DBLP DOI BibTeX RDF
15	Anas Abdelkarim, Yanzhao Jia, Daniel Görges	An Accelerated Interior-Point Method for Convex Optimization Leveraging Backtracking Mitigation.	IECON	2023	DBLP DOI BibTeX RDF
15	Xingguo Chen, Zening Chen, Dingyuanhao Sun, Yang Gao 0001	Backtracking Exploration for Reinforcement Learning.	DAI	2023	DBLP DOI BibTeX RDF
15	Julius von Kügelgen, Abdirisak Mohamed, Sander Beckers	Backtracking Counterfactuals.	CLeaR	2023	DBLP BibTeX RDF
15	Kuan-Chien Wang, Wei-Jun Cheng, Jie Zhang, Min-Te Sun, Kazuya Sakai, Wei-Shinn Ku	HoneyContainer: Container-based Webshell Command Injection Defending and Backtracking.	SVCC	2023	DBLP DOI BibTeX RDF
15	Frederik Kunstner, Victor Sanches Portella, Mark Schmidt 0001, Nicholas J. A. Harvey	Searching for Optimal Per-Coordinate Step-sizes with Multidimensional Backtracking.	NeurIPS	2023	DBLP BibTeX RDF
15	Sriparna Banerjee, Provas Kumar Roy, Pradip Kumar Saha	Solution of optimal power flow problem for hybrid power system using a novel laplacian mutual learning assisted backtracking search algorithm.	ICCCNT	2023	DBLP DOI BibTeX RDF
15	Michael Färber 0002	A Curiously Effective Backtracking Strategy for Connection Tableaux.	AReCCa@TABLEAUX	2023	DBLP BibTeX RDF
15	Mark Zhandry	Tracing Quantum State Distinguishers via Backtracking.	CRYPTO (5)	2023	DBLP DOI BibTeX RDF
15	Sriparna Banerjee, Provas Kumar Roy, Pradip Kumar Saha	A Novel Trigonometric Mutation-Based Backtracking Search Algorithm for Solving Optimal Power Flow Problem Considering Renewable Energy Sources.	CICBA (2)	2023	DBLP DOI BibTeX RDF
15	Yigit Çagatay Kuyu, Enrique Onieva, Pedro López-García 0002	A hybrid optimizer based on backtracking search and differential evolution for continuous optimization.	J. Exp. Theor. Artif. Intell.	2022	DBLP DOI BibTeX RDF
15	René Pérez-Moroyoqui, Suemi Rodríguez-Romo, Oscar Ibáñez-Orozco	Genetic algorithm for the design of a multiband microstrip antenna with self-avoiding geometry obtained by backtracking.	Int. J. Commun. Syst.	2022	DBLP DOI BibTeX RDF
15	Haotian Xie, Fengxiang Wang, Qian Xun, Yingjie He, José Rodríguez 0001, Ralph Kennel	A Low-Complexity Gradient Descent Solution With Backtracking Iteration Approach for Finite Control Set Predictive Current Control.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
15	Xi Wang, Tingfa Xu, Yuhan Zhang, Axin Fan, Chang Xu, Jianan Li	Backtracking Reconstruction Network for Three-Dimensional Compressed Hyperspectral Imaging.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Peng Yuan, Yepeng Guan, Jizhong Huang	Video prediction based on spatial information transfer and time backtracking.	Signal Image Video Process.	2022	DBLP DOI BibTeX RDF
15	Sukanta Nama, Apu Kumar Saha	A Bio-Inspired Multi-Population-Based Adaptive Backtracking Search Algorithm.	Cogn. Comput.	2022	DBLP DOI BibTeX RDF
15	Sukanta Nama, Apu Kumar Saha, Sushmita Sharma	Performance up-gradation of Symbiotic Organisms Search by Backtracking Search Algorithm.	J. Ambient Intell. Humaniz. Comput.	2022	DBLP DOI BibTeX RDF
15	Iyad AlAgha	Multihop Question Answering by Using Sequential Path Expansion With Backtracking.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa	Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell.	New Gener. Comput.	2022	DBLP DOI BibTeX RDF
15	Jun Yang, Leixiong Huang, Haoming Ma, Zhihui Xu, Ming Yang, Shaoqiang Guo	A 2D-graph model-based heuristic approach to visual backtracking security vulnerabilities in physical protection systems.	Int. J. Crit. Infrastructure Prot.	2022	DBLP DOI BibTeX RDF
15	Zhaoyue Zhong, Xiangrong Wang, Cunquan Qu, Guanghui Wang 0002	Efficient Algorithm Based on Non-Backtracking Matrix for Community Detection in Signed Networks.	IEEE Trans. Netw. Sci. Eng.	2022	DBLP DOI BibTeX RDF
15	Xiaokai Wei, Jie Li 0036, Kaiqiang Feng, Debiao Zhang	An Improved In-flight Alignment Method Based on Backtracking Navigation for GPS-aided Low Cost SINS With Short Endurance.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
15	Keisuke Okumura 0001, Manao Machida, Xavier Défago, Yasumasa Tamura	Priority inheritance with backtracking for iterative multi-agent path finding.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
15	Hamid Reza Rafat Zaman, Farhad Soleimanian Gharehchopogh	An improved particle swarm optimization with backtracking search optimization algorithm for solving continuous optimization problems.	Eng. Comput.	2022	DBLP DOI BibTeX RDF
15	Dizi Wu, Loke Kok Foong, Zongjie Lyu	Two neural-metaheuristic techniques based on vortex search and backtracking search algorithms for predicting the heating load of residential buildings.	Eng. Comput.	2022	DBLP DOI BibTeX RDF
15	Jongho Park 0002	Additive Schwarz methods for convex optimization with backtracking.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
15	Sukanta Nama, Sushmita Sharma, Apu Kumar Saha, Amir H. Gandomi	A quantum mutation-based backtracking search algorithm.	Artif. Intell. Rev.	2022	DBLP DOI BibTeX RDF
15	Yonglian Han, Min Shao, Yunzhi Wu, Xiaoming Zhang 0004	An Improved Complete Coverage Path Planning Method for Intelligent Agricultural Machinery Based on Backtracking Method.	Inf.	2022	DBLP DOI BibTeX RDF
15	M. Yakut, N. Bandirmali Erturk	An IoT-based approach for optimal relative positioning of solar panel arrays during backtracking.	Comput. Stand. Interfaces	2022	DBLP DOI BibTeX RDF