Search results for "Backtrack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière	Statistical Regimes Across Constrainedness Regions.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search
82	Yanjun Zhang, A. Ortynski	Efficiency of Randomized Parallel Backtrack Search.	Algorithmica	1999	DBLP DOI BibTeX RDF	Combinatorial search problem, Parallel computation, Distributed computing, Randomized algorithm, Backtrack
75	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere	Statistical Regimes Across Constrainedness Regions.	CP	2004	DBLP DOI BibTeX RDF
75	Inês Lynce, Luís Baptista, João Marques-Silva 0001	Towards Provably Complete Stochastic Search Algorithms for Satisfiability.	EPIA	2001	DBLP DOI BibTeX RDF
72	Masashi Kiyomi, Tomomi Matsui	Integer Programming Based Algorithms for Peg Solitaire Problems.	Computers and Games	2000	DBLP DOI BibTeX RDF	peg solitaire, integer programming, backtrack searching
60	S. Durga Bhavani, Arun K. Pujari	EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	temporal CSP, heuristics, consistency checking, evidential reasoning
60	J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski	Backtrack-Free Search for Real-Time Constraint Satisfaction.	CP	2004	DBLP DOI BibTeX RDF
60	Eugene C. Freuder	A Sufficient Condition for Backtrack-Bounded Search	J. ACM	1985	DBLP DOI BibTeX RDF
60	Klaus Meer	On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.	FLOPS	2002	DBLP DOI BibTeX RDF	algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
57	Inês Lynce, João Marques-Silva 0001	Efficient data structures for backtrack search SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	backtrack search, propositional satisfiability
50	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic Backtracking Algorithms for SAT.	MTV	2003	DBLP DOI BibTeX RDF
50	Hyoung B. Min, William A. Rogers	Search strategy switching: A cost model and an analysis of backtracking.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	search strategy switching, ATPG, fault coverage, backtracking
47	Rune Møller Jensen	CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration..	CP	2004	DBLP DOI BibTeX RDF
47	Inês Lynce, João Marques-Silva 0001	Tuning Randomization in Backtrack Search SAT Algorithms.	CP	2002	DBLP DOI BibTeX RDF
47	Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci	Fast Deterministic Backtrack Search.	ICALP	1996	DBLP DOI BibTeX RDF
47	Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap	Object tracking and multimedia augmented transition network for video indexing and modeling.	ICTAI	2000	DBLP DOI BibTeX RDF	multimedia augmented transition network, multimedia input strings, video data modelling, video data structuring, semantic objects, unsupervised video segmentation method, SPCPE algorithm, simultaneous partitioning, class parameter estimation, overlapped objects, backtrack-chain-update-split algorithm, split segment identification, video frame updating, image segmentation, artificial intelligence, tracking, parameter estimation, multimedia databases, object tracking, video indexing, video databases, video signal processing, backtracking, spatial relations, temporal relations, multimedia database systems, multimedia browsing, segmentation method, database indexing, input modelling
47	M. H. Konijnenburg, Hans van der Linden, Ad J. van de Goor	Fault (In)Dependent Cost Estimates and Conflict-Directed Backtracking to Guide Sequential Circuit Test Generation.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	sequential circuit TPG, back-jumping, conflict-directed backtrack, three-state (tri-state) circuit TPG, ATPG, cost estimates
47	Somnuk Keretho, Rasiah Loganantharaj	Reasoning about networks of temporal relations and its applications to problem solving.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	backtrack algorithms, temporal constraint propagation, constraint satisfactive problems, Temporal reasoning
38	Steven D. Prestwich	Variable Dependency in Local Search: Prevention Is Better Than Cure.	SAT	2007	DBLP DOI BibTeX RDF
38	Jean-François Baget, Sébastien Laborie	Bi-Intervals for Backtracking on Temporal Constraint Networks.	TIME	2007	DBLP DOI BibTeX RDF
38	Tudor Hulubei, Barry O'Sullivan	The Impact of Search Heuristics on Heavy-Tailed Behaviour.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Runtime distributions, Constraint satisfactions, Search heuristics
38	Tudor Hulubei, Barry O'Sullivan	Search Heuristics and Heavy-Tailed Behaviour.	CP	2005	DBLP DOI BibTeX RDF
38	Laurent Henocque, Nicolas Prcovic	Practically Handling Some Configuration Isomorphisms.	ICTAI	2004	DBLP DOI BibTeX RDF
38	Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken-ichi Matsumoto, Yuichiro Kanzaki, Hirotsugu Satoh	Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension.	IEEE METRICS	2003	DBLP DOI BibTeX RDF
38	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
38	Hubie Chen, Carla P. Gomes, Bart Selman	Formal Models of Heavy-Tailed Behavior in Combinatorial Search.	CP	2001	DBLP DOI BibTeX RDF
35	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
35	Venkata Praveen Guddeti, Berthe Y. Choueiry	Characterization of a New Restart Strategy for Randomized Backtrack Search.	CSCLP	2004	DBLP DOI BibTeX RDF
35	Lin Xu, Berthe Y. Choueiry	Improving Backtrack Search for Solving the TCSP.	CP	2003	DBLP DOI BibTeX RDF
35	Pierre Berlandier	A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks.	ISMIS	1993	DBLP DOI BibTeX RDF
35	Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.	Backtrack Searching in the Presence of Symmetry.	AAECC	1988	DBLP DOI BibTeX RDF
35	Alfs T. Berztiss	A Backtrack Procedure for Isomorphism of Directed Graphs.	J. ACM	1973	DBLP DOI BibTeX RDF
35	Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa	Backtracking-based load balancing.	PPoPP	2009	DBLP DOI BibTeX RDF	load balancing, parallel computing, backtracking, backtrack search
35	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
35	Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah	Satometer: how much have we searched?	DAC	2002	DBLP DOI BibTeX RDF	conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs
35	Maria Cristina Pinotti, Vincenzo A. Crupi, Sajal K. Das 0001	A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking.	IPPS	1996	DBLP DOI BibTeX RDF	parallel solution, extended set union problem, unlimited backtracking, Find, SetUnion, MultiUnion, k-Parallel Union Find trees, constant parallel time, optimal work, constant-time performance, parallel algorithms, computational complexity, data structure, parallel machines, Restore, backtracking, Backtrack, tree data structures, tree searching, random-access storage, dynamic partition, Union, EREW-PRAM model
35	V. Nageshwara Rao, Vipin Kumar 0001	On the Efficiency of Parallel Backtracking.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	parallel backtracking, backtrack search algorithms, simple backtracking, heuristicbacktracking, parallel algorithms, search problems, speedup
25	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
25	Steven D. Prestwich, Inês Lynce	Local Search for Unsatisfiability.	SAT	2006	DBLP DOI BibTeX RDF
25	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF
25	Yaling Zheng, Berthe Y. Choueiry	Applying Decomposition Methods to Crossword Puzzle Problems.	CP	2005	DBLP DOI BibTeX RDF
25	Carla P. Gomes, David B. Shmoys	Approximations and Randomization to Boost CSP Techniques.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF
25	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Network Routing.	CPAIOR	2004	DBLP DOI BibTeX RDF
25	Vincent Danos, Jean Krivine	Reversible Communicating Systems.	CONCUR	2004	DBLP DOI BibTeX RDF
25	Steven D. Prestwich	Negative Effects of Modeling Techniques on Search Performance.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	implied constraints, modeling, search, symmetry breaking
25	Elizabeth Broering, Satyanarayana V. Lokam	Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).	SAT	2003	DBLP DOI BibTeX RDF
25	Craig S. Miller	Modeling Web Navigation: Methods and Challenges.	ITWP	2003	DBLP DOI BibTeX RDF
25	Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach	A Confluent Connection Calculus.	CADE	1999	DBLP DOI BibTeX RDF
25	Peter van Beek, Rina Dechter	Constraint tightness and looseness versus local and global consistency.	J. ACM	1997	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
22	Lianbo Ma, Yuee Zhou, Jianlun Ma, Guo Yu 0001, Qing Li 0006	One-Step Forward and Backtrack: Overcoming Zig-Zagging in Loss-Aware Quantization Training.	CoRR	2024	DBLP DOI BibTeX RDF
22	Lianbo Ma, Yuee Zhou, Jianlun Ma, Guo Yu 0001, Qing Li 0006	One-Step Forward and Backtrack: Overcoming Zig-Zagging in Loss-Aware Quantization Training.	AAAI	2024	DBLP DOI BibTeX RDF
22	Dongwook Lee, Wonjun Choi, Seohyung Lee, ByungIn Yoo, Eunho Yang, Seongju Hwang	BackTrack: Robust template update via Backward Tracking of candidate template.	CoRR	2023	DBLP DOI BibTeX RDF
22	Gilles Audemard, Christophe Lecoutre, Charles Prud'homme	Guiding Backtrack Search by Tracking Variables During Constraint Propagation.	CP	2023	DBLP DOI BibTeX RDF
22	Cristian Alb	Backtrack Tie-Breaking for Decision Trees: A Note on Deodata Predictors.	CoRR	2022	DBLP BibTeX RDF
22	Francesca Arrigo, Desmond J. Higham, Vanni Noferini	A Theory for Backtrack-Downweighted Walks.	SIAM J. Matrix Anal. Appl.	2021	DBLP DOI BibTeX RDF
22	Yafan Dong, Runhua Tan, Peng Zhang, Qingjin Peng, Peng Shao	Product redesign using functional backtrack with digital twin.	Adv. Eng. Informatics	2021	DBLP DOI BibTeX RDF
22	Le Li, Shigeyuki Sato 0001, Qiheng Liu, Kenjiro Taura	Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning.	IPDPS	2021	DBLP DOI BibTeX RDF
22	Chang Xiao, Karl Bayer, Changxi Zheng, Shree K. Nayar	BackTrack: 2D Back-of-device Interaction Through Front Touchscreen.	CHI	2021	DBLP DOI BibTeX RDF
22	Svetlana Topalova, Stela Zhelezova	Backtrack Search for Parallelisms of Projective Spaces.	IWOCA	2021	DBLP DOI BibTeX RDF
22	Shin-Guang Chen, Yi-Kuei Lin	A permutation-and-backtrack approach for reliability evaluation in multistate information networks.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
22	Francesca Arrigo, Desmond J. Higham, Vanni Noferini	A Theory for Backtrack-Downweighted Walks.	CoRR	2020	DBLP BibTeX RDF
22	Stephan Kunne, Lorenzo Maggi, Johanne Cohen, Xinneng Xu	Anytime Backtrack Unimodal Bandits and Applications to Cloud Computing.	Networking	2020	DBLP BibTeX RDF
22	Randy Hickey, Fahiem Bacchus	Trail Saving on Backtrack.	SAT	2020	DBLP DOI BibTeX RDF
22	Wen Sun 0005, Jin-Kao Hao, Alexandre Caminada	Iterated backtrack removal search for finding k-vertex-critical subgraphs.	J. Heuristics	2019	DBLP DOI BibTeX RDF
22	Matt Knutson	Backtrack, Pause, Rewind, Reset: Queering Chrononormativity in Gaming.	Game Stud.	2018	DBLP BibTeX RDF
22	Shingo Okuno	Parallelization of Graph Mining using Backtrack Search Algorithm.		2017	RDF
22	Sherif Abdelwahab, Bechir Hamdaoui, Mohsen Guizani, Taieb Znati	Efficient Virtual Network Embedding With Backtrack Avoidance for Dynamic Wireless Networks.	IEEE Trans. Wirel. Commun.	2016	DBLP DOI BibTeX RDF
22	Artur Menc, Dominik Pajak, Przemyslaw Uznanski	On the power of one bit: How to explore a graph when you cannot backtrack?	CoRR	2015	DBLP BibTeX RDF
22	Zoltán Ádám Mann, Tamás Szép	Accelerating backtrack search with a best-first-search strategy.	Int. J. Appl. Math. Comput. Sci.	2014	DBLP DOI BibTeX RDF
22	Petar Popovski	Delayed Channel State Information: Incremental Redundancy with Backtrack Retransmission.	CoRR	2014	DBLP BibTeX RDF
22	Qiming Chen, Meichun Hsu, Malú Castellanos	Backtrack-Based and Window-Oriented Optimistic Failure Recovery in Distributed Stream Processing.	BIRTE	2014	DBLP DOI BibTeX RDF
22	Petar Popovski	Delayed Channel State Information: Incremental redundancy with backtrack retransmission.	ICC	2014	DBLP DOI BibTeX RDF
22	Sherif Abdelwahab, Bechir Hamdaoui, Mohsen Guizani	BIRD-VNE: Backtrack-avoidance virtual network embedding in polynomial time.	GLOBECOM	2014	DBLP DOI BibTeX RDF
22	Homero Mauricio Schneider	A Backtrack-free Process for Deriving Product Family Members.	Configuration Workshop	2014	DBLP BibTeX RDF
22	Takahide Uemori, Eitaro Kohno, Yoshiaki Kakuda	Experimental evaluation of the effects with backtrack search and notification messages in the node-disjoint multipath scheme for secure dispersed data transfer method.	ICMU	2014	DBLP DOI BibTeX RDF
22	Zoltán Ádám Mann, Aniko Szajko	Average-case complexity of backtrack search for coloring sparse random graphs.	J. Comput. Syst. Sci.	2013	DBLP DOI BibTeX RDF
22	Qiming Chen, Meichun Hsu, Malú Castellanos	Backtrack-Based Failure Recovery in Distributed Stream Processing.	SNPD	2013	DBLP DOI BibTeX RDF
22	Chul-Ho Lee, Xin Xu, Do Young Eun	Beyond Random Walk and Metropolis-Hastings Samplers: Why You Should Not Backtrack for Unbiased Graph Sampling	CoRR	2012	DBLP BibTeX RDF
22	Yungho Choi, Neungsoo Park	Evaluation of the Image Backtrack-Based Fast Direct Mode Decision Algorithm.	J. Inf. Process. Syst.	2012	DBLP DOI BibTeX RDF
22	Chul-Ho Lee, Xin Xu, Do Young Eun	Beyond random walk and metropolis-hastings samplers: why you should not backtrack for unbiased graph sampling.	SIGMETRICS	2012	DBLP DOI BibTeX RDF
22	Lukas Kroc, Ashish Sabharwal, Bart Selman	Leveraging belief propagation, backtrack search, and statistics for model counting.	Ann. Oper. Res.	2011	DBLP DOI BibTeX RDF
22	Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta	A simple optimization method based on Backtrack and GA for delivery schedule.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
22	Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta	Ensuring Diversity in a Backtrack and GA Optimization Method for Delivery Schedule.	SITIS	2011	DBLP DOI BibTeX RDF
22	Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta	Backtrack and Restart Genetic Algorithm to Optimize Delivery Schedule.	SITIS	2010	DBLP DOI BibTeX RDF
22	Jon Carmelo Russo, Keith G. Erickson, James K. Beard	Costas array search technique that maximizes backtrack and symmetry exploitation.	CISS	2010	DBLP DOI BibTeX RDF
22	J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski	A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems.	Int. J. Artif. Intell. Tools	2008	DBLP DOI BibTeX RDF
22	Liang Li, Tian Liu 0001, Ke Xu 0001	Exact phase transition of backtrack-free search with implications on the power of greedy algorithms	CoRR	2008	DBLP BibTeX RDF
22	Lukas Kroc, Ashish Sabharwal, Bart Selman	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.	CPAIOR	2008	DBLP DOI BibTeX RDF
22	Lukas Kroc, Bart Selman, Ashish Sabharwal	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.	ISAIM	2008	DBLP BibTeX RDF
22	Inês Lynce, João Marques-Silva 0001	Random backtracking in backtrack search algorithms for satisfiability.	Discret. Appl. Math.	2007	DBLP DOI BibTeX RDF
22	Vibhav Gogate, Rina Dechter	Approximate Counting by Sampling the Backtrack-free Search Space.	AAAI	2007	DBLP BibTeX RDF
22	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.	IJCAI	2007	DBLP BibTeX RDF
22	Tudor Hulubei, Barry O'Sullivan	Failure Analysis in Backtrack Search for Constraint Satisfaction.	CP	2006	DBLP DOI BibTeX RDF
22	Ashraf M. Abdelbar, Mostafa A. El-Hemaly, Emad A. M. Andrews, Donald C. Wunsch II	Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction.	Neural Networks	2005	DBLP DOI BibTeX RDF
22	Simona Cocco, Rémi Monasson	Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
22	Simona Cocco, Rémi Monasson	Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances	CoRR	2004	DBLP BibTeX RDF
22	Roie Zivan, Amnon Meisels	Concurrent Backtrack Search on DisCSPs.	FLAIRS	2004	DBLP BibTeX RDF
22	Inês Lynce, João P. Marques Silva	An Overview of Backtrack Search Satisfiability Algorithms.	Ann. Math. Artif. Intell.	2003	DBLP DOI BibTeX RDF
22	Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci	Deterministic parallel backtrack search.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
22	Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah	ZBDD-Based Backtrack Search SAT Solver.	IWLS	2002	DBLP BibTeX RDF