Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Ray Jinzhu Chen, Kevin Scott Reschke, Hailong Hu |
Design and Analysis of a Tree-Backtracking Algorithm for Multiset and Pure Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCA ![In: Combinatorial Algorithms, 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers, pp. 288-292, 2012, Springer, 978-3-642-35925-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alon Grubshtein, Amnon Meisels |
Finding a Nash Equilibrium by Asynchronous Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 925-940, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Erich Christian Teppan, Gerhard Friedrich, Andreas A. Falkner |
QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAAI ![In: Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, pp. 2329-2334, 2012, AAAI. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | YoungSeok Yoon, Brad A. Myers |
An exploratory study of backtracking strategies used by developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: 5th International Workshop on Co-operative and Human Aspects of Software Engineering, CHASE 2012, Zurich, Switzerland, June 2, 2012, pp. 138-144, 2012, IEEE Computer Society, 978-1-4673-1823-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Min Fang, Hao Li 0009, Xiaosong Zhang 0005 |
A Heuristic Reinforcement Learning Based on State Backtracking Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2012, Macau, China, December 4-7, 2012, pp. 673-678, 2012, IEEE Computer Society, 978-1-4673-6057-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini |
On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Michael Alekhnovich, Allan Borodin, Joshua Buresh-Oppenheim, Russell Impagliazzo, Avner Magen, Toniann Pitassi |
Toward a Model for Backtracking and Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 20(4), pp. 679-740, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Blazewicz, Wojciech Frohmberg, Michal Kierzynka, Erwin Pesch, Pawel Wojciechowski |
Protein alignment algorithms with an efficient backtracking routine on multiple GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 12, pp. 181, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Honglin Huang, Anamitra Makur |
Backtracking-Based Matching Pursuit Method for Sparse Signal Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 18(7), pp. 391-394, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel Backtracking with Answer Memoing for Independent And-Parallelism ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.4724, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Weng-Long Chang, Mang Feng, Kawuu Weicheng Lin, Chih-Chiang Wang 0001, Ju-Chin Chen |
Quantum Algorithms of Solving the Backtracking of One-dimensional Cellular Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.2998, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Yacine Laalaoui, Habiba Drias |
Learning and backtracking in non-preemptive scheduling of tasks under timing constraints - Special issue on machine learning and cybernetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 15(6), pp. 1071-1086, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gonglin Yuan, Zengxin Wei, Sha Lu |
Limited memory BFGS method with backtracking for symmetric nonlinear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 54(1-2), pp. 367-377, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jingyu Kang, Qin Huang, Shu Lin 0001, Khaled A. S. Abdel-Ghaffar |
An Iterative Decoding Algorithm with Backtracking to Lower the Error-Floors of LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 59(1), pp. 64-73, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel backtracking with answer memoing for independent and-parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(4-5), pp. 555-574, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoheng Chen, Jingyu Kang, Shu Lin 0001, Venkatesh Akella |
Hardware Implementation of a Backtracking-Based Reconfigurable Decoder for Lowering the Error Floor of Quasi-Cyclic LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 58-I(12), pp. 2931-2943, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Zhibin Zeng |
A High-Efficiency LDPC Encoder with Optimized Backtracking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMC ![In: Third International Conference on Communications and Mobile Computing, CMC 2011, Qingdao, China, 18-20 April 2011, pp. 341-344, 2011, IEEE Computer Society, 978-0-7695-4357-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Parízek, Ondrej Lhoták |
Randomized Backtracking in State Space Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 75-89, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | John Jenkins, Isha Arkatkar, John D. Owens, Alok N. Choudhary, Nagiza F. Samatova |
Lessons Learned from Exploring the Backtracking Paradigm on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par (2) ![In: Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II, pp. 425-437, 2011, Springer, 978-3-642-23396-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Luiz Jonatã Pires de Araújo, Plácido Rogério Pinheiro |
Applying Backtracking Heuristics for Constrained Two-Dimensional Guillotine Cutting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (LNCS) ![In: Information Computing and Applications - Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, pp. 113-120, 2011, Springer, 978-3-642-25254-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Zhiguo Liu, Tao Liu, Xiue Gao |
An Improved Ant Colony Optimization Algorithm Based on Pheromone Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE ![In: 14th IEEE International Conference on Computational Science and Engineering, CSE 2011, Dalian, China, August 24-26, 2011, pp. 658-661, 2011, IEEE Computer Society, 978-1-4577-0974-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Zineb Habbas, Kamal Amroun, Daniel Singer |
Solving Non Binary Constraint Satisfaction Problems with Dual Backtracking on Hypertree Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011, pp. 146-156, 2011, SciTePress, 978-989-8425-40-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Christian Bessiere, El-Houssine Bouyakhf, Younes Mechqrane, Mohamed Wahbi |
Agile Asynchronous Backtracking for Distributed Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011, pp. 777-784, 2011, IEEE Computer Society, 978-1-4577-2068-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Tzay-Farn Shih, Pao-Kai Chuang |
An retentive backtracking bit competed anti-collision algorithm for RFID systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSCE ![In: 2011 IEEE International Conference on Control System, Computing and Engineering, Penang, Malaysia, November 25-27, 2011, pp. 507-510, 2011, IEEE, 978-1-4577-1640-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fan Min 0001, William Zhu 0001 |
Minimal Cost Attribute Reduction through Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-DTA/BSBT ![In: Database Theory and Application, Bio-Science and Bio-Technology - International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 100-107, 2011, Springer, 978-3-642-27156-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Denis Robilliard, Cyril Fonlupt, Virginie Marion-Poty, Amine M. Boumaza |
A Multilevel Tabu Search with Backtracking for Exploring Weak Schur Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Evolution ![In: Artificial Evolution - 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers, pp. 109-119, 2011, Springer, 978-3-642-35532-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jason S. Alexander, Thomas R. Dean, Scott Knight |
Spy vs. Spy: counter-intelligence methods for backtracking malicious intrusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Center for Advanced Studies on Collaborative Research, CASCON '11, Toronto, ON, Canada, November 7-10, 2011, pp. 1-14, 2011, IBM / ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | |
Dependency Directed Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning ![In: Encyclopedia of Machine Learning, pp. 274, 2010, Springer, 978-0-387-30768-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | |
Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning ![In: Encyclopedia of Machine Learning, pp. 553, 2010, Springer, 978-0-387-30768-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jens Otten |
Restricting backtracking in connection calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 23(2-3), pp. 159-182, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Xin Li 0051, Tian Liu 0001 |
On exponential time lower bound of Knapsack under backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(16-18), pp. 1883-1888, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Federico Aschieri |
Interactive Learning Based Realizability and 1-Backtracking Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., pp. 6-20, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ken Takata |
Space-optimal, backtracking algorithms to list the minimal vertex separators of a graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 158(15), pp. 1660-1667, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Berardi, Thierry Coquand, Susumu Hayashi |
Games with 1-backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(10), pp. 1254-1269, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Bertrand Neveu, Gilles Trombettoni, Gilles Chabert |
Improving inter-block backtracking with interval Newton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 15(1), pp. 93-116, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Veli Mäkinen, Niko Välimäki, Antti Laaksonen, Riku Katainen |
Unified View of Backward Backtracking in Short Read Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms and Applications ![In: Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday, pp. 182-195, 2010, Springer, 978-3-642-12475-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Youliang Chen, Zhaoru Wang, Xiaosheng Liu |
Automated point feature label placement using backtracking algorithm with an adjacent graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geoinformatics ![In: The 18th International Conference on Geoinformatics: GIScience in Change, Geoinformatics 2010, Peking University, Beijing, China, June, 18-20, 2010, pp. 1-5, 2010, IEEE, 978-1-4244-7302-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ray Genoe, M. Tahar Kechadi |
A Real-Time Recognition System for Handwritten Mathematics: Backtracking and Relationship Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFHR ![In: International Conference on Frontiers in Handwriting Recognition, ICFHR 2010, Kolkata, India, 16-18 November 2010, pp. 399-404, 2010, IEEE Computer Society, 978-0-7695-4221-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Luiz Jonatã Pires de Araújo, Plácido Rogério Pinheiro |
Heuristics Backtracking and a Typical Genetic Algorithm for the Container Loading Problem with Weight Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (2) ![In: Information Computing and Applications - International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II, pp. 252-259, 2010, Springer, 978-3-642-16338-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Faisal N. Abu-Khzam, Michael A. Langston, Amer E. Mouawad, Clinton P. Nolan |
A Hybrid Graph Representation for Recursive Backtracking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings, pp. 136-147, 2010, Springer, 978-3-642-14552-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Dmitry Itsykson |
Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings, pp. 204-215, 2010, Springer, 978-3-642-13181-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Shiying Wang, Wei Wang 0087 |
Optimum control mode analysis and numerical backtracking of microfluidic cell-secreted analyte detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 5th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, NEMS 2010, Xiamen, China, January 20-23, 2010, pp. 272-275, 2010, IEEE, 978-1-4244-6543-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Cleyton Mário de Oliveira Rodrigues, Eric Rommel Dantas Galvão, Ryan Ribeiro de Azevedo, Marcos Aurélio Almeida da Silva |
LSVF: Least Suggested Value First - A New Search Heuristic to Reduce the Amount of Backtracking Calls in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010, pp. 416-421, 2010, INSTICC Press, 978-989-674-021-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Luiz Jonatã Pires de Araújo, Plácido Rogério Pinheiro |
Combining Heuristics Backtracking and Genetic Algorithm to Solve the Container Loading Problem with Weight Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCO ![In: Soft Computing Models in Industrial and Environmental Applications, 5th International Workshop (SOCO 2010), Guimarães, Portugal, June 2010, pp. 95-102, 2010, Springer, 978-3-642-13160-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | David Akers |
Backtracking events as indicators of software usability problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Wei Li 0002 |
Exploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Shai Haim |
Runtime estimation of backtracking satisfiability solvers: a machine learning approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Yunjuan Wang, Detong Zhu |
An affine scaling optimal path method with interior backtracking curvilinear technique for linear constrained optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 207(1), pp. 178-196, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Solving #SAT and Bayesian Inference with Backtracking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 34, pp. 391-442, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Michael Alekhnovich, Allan Borodin, Joshua Buresh-Oppenheim, Russell Impagliazzo, Avner Magen |
Toward a Model for Backtracking and Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR09, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Valeriy K. Bulitko, Vadim Bulitko |
On Backtracking in Real-time Heuristic Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0912.3228, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | James Cook, Omid Etesami, Rachel Miller, Luca Trevisan |
Goldreich's One-Way Function Candidate and Myopic Backtracking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 521-538, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | ZhangBing Zhou, Sami Bhiri, Hai Zhuge, Manfred Hauswirth |
Assessing Service Protocols Adaptability Using Protocol Reduction and Graph-Search with Backtracking Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Fifth International Conference on Semantics, Knowledge and Grid, SKG 2009, Zhuhai, China, October 12-14, 2009, pp. 224-231, 2009, IEEE Computer Society, 978-0-7695-3810-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Chongyuan Yin, Guiming Luo, Pei Hu |
Backtracking Search Algorithm for Satisfiability Degree Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (2) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 3-7, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Fischer 0001 |
Reinventing Haskell Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28 - October 2, 2009, Proceedings, pp. 2875-2888, 2009, GI, 978-3-88579-248-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Inês Lynce, Vasco M. Manquinho, João Marques-Silva 0001 |
Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wiley Encyclopedia of Computer Science and Engineering ![In: Wiley Encyclopedia of Computer Science and Engineering, 2008, John Wiley & Sons, Inc.. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Francis Zane |
Backtracking Based k-SAT Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2008 Edition, 2008, Springer, 978-0-387-30770-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hong Jiang, José M. Vidal |
The message management asynchronous backtracking algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 20(2), pp. 95-110, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Brigitte Finel, Alexandre Dolgui, François B. Vernadat |
A random search and backtracking procedure for transfer line balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 21(4), pp. 376-387, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Gonglin Yuan, Xiwen Lu |
A new backtracking inexact BFGS method for symmetric nonlinear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 55(1), pp. 116-129, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Huayue Wu, Peter van Beek |
Portfolios with Deadlines for Backtracking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 17(5), pp. 835-856, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ihsan Sabuncuoglu, Yasin Gocgun, Erdal Erel |
Backtracking and exchange of information: Methods to enhance a beam search algorithm for assembly line scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 186(3), pp. 915-930, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jun Yan 0009, Jian Zhang 0001 |
A backtracking search tool for constructing combinatorial test suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 81(10), pp. 1681-1693, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed Issam Younis, Rusli Abdullah 0001 |
G2Way A Backtracking Strategy for Pairwise Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 463-470, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Fatemeh Nasiri, Ahmad Khademzadeh, Armin Mehran, Samira Saeidi |
A Backtracking Routing Algorithm for Network on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communications in Computing ![In: Proceedings of the 2008 International Conference on Communications in Computing, CIC 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 160-165, 2008, CSREA Press, 1-60132-058-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Shaoyin Cheng, Fan Jiang 0005, Jiajie Wang, Tao Zhang, Xuezhi Xing |
DBTG: Demand-Driven Backtracking Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1944-1950, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Redouane Ezzahir, Christian Bessiere, Imade Benelallam, Houssine Bouyakhf, Mustapha Belaïssaoui |
Dynamic Backtracking for Distributed Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 901-902, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Bo Li, Meina Guo |
A Dynamic Spatial Layout Approach with Backtracking Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (7) ![In: Fourth International Conference on Natural Computation, ICNC 2008, Jinan, Shandong, China, 18-20 October 2008, Volume 7, pp. 327-331, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ruiming Li, An-Jui Shey, Michel Laudes |
Incorporating logic exclusivity (LE) constraints in noise analysis using gain guided backtracking method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 783-789, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Satoshi Kobayashi |
A New Translation for Semi-classical Theories - Backtracking without CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 210-223, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Bayo Omomowo, Inés Arana, Hatem Ahriz |
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 285-296, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic problems, constraint satisfaction, distributed AI |
15 | Widyawan, Martin Klepal, Stéphane Beauregard |
A Backtracking Particle Filter for fusing building plans with PDR displacement estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPNC ![In: 5th Workshop on Positioning, Navigation and Communication, WPNC 2008, Leibniz Universität Hannover, Hannover, Germany, March 27, 2008, pp. 207-212, 2008, IEEE, 978-1-4244-1798-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Roman R. Redziejowski |
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 79(3-4), pp. 513-524, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Xianwu Xing, Ching-Chuen Jong |
A look-ahead synthesis technique with backtracking for switching activity reduction in low power high-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 38(4-5), pp. 595-605, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | William Baritompa, David W. Bulger, Graham R. Wood |
Generating functions and the performance of backtracking adaptive search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 37(2), pp. 159-175, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Xin Li 0051, Tian Liu 0001 |
On Exponential Time Lower Bound of Knapsack under Backtracking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0712.3348, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Georg Gottlob, Marko Samer |
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0701083, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Yueh-Ming Huang, Ming-Hui Tsai, Tzu-Chiang Chiang, Ting-Wei Hou |
Reliable cross-layer multicast with local backtracking for improving transmission control protocol performance in ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 1(5), pp. 887-892, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Inês Lynce, João Marques-Silva 0001 |
Random backtracking in backtrack search algorithms for satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 155(12), pp. 1604-1612, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jlifi Boutheina, Khaled Ghédira |
Solving Constraint Satisfaction Problems using Informed Backtracking based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICAI ![In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007, pp. 220-234, 2007, IICAI, 978-0-9727412-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Jean-François Baget, Sébastien Laborie |
Bi-Intervals for Backtracking on Temporal Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain, pp. 163-168, 2007, IEEE Computer Society, 978-0-7695-2836-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sathiamoorthy Subbarayan, Henrik Reif Andersen |
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 180-185, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Peter van Beek |
Backtracking Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 85-134, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Anuj Dawar, Erich Grädel, Stephan Kreutzer |
Backtracking games and inflationary fixed points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 350(2-3), pp. 174-187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Hua-Wen Tsai, Tzung-Shi Chen, Chih-Ping Chu |
An On-Demand Routing Protocol with Backtracking for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 38(3), pp. 279-300, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Neculai Andrei |
An acceleration of gradient descent algorithm with backtracking for unconstrained optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 42(1), pp. 63-73, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Anitha Katikireddy, Clayton Matthew Johnson |
A genetic algorithm with backtracking for protein structure prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence ![In: Proceedings of the Second IASTED International Conference on Computational Intelligence, San Francisco, California, USA, November 20-22, 2006, pp. 78-83, 2006, IASTED/ACTA Press, 0-88986-603-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Robert T. Effinger, Brian Charles Williams |
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 28-35, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Randy Smith, Cristian Estan, Somesh Jha |
Backtracking Algorithmic Complexity Attacks against a NIDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 22nd Annual Computer Security Applications Conference (ACSAC 2006), 11-15 December 2006, Miami Beach, Florida, USA, pp. 89-98, 2006, IEEE Computer Society, 0-7695-2716-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Samuel T. King, Peter M. Chen |
Backtracking intrusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 23(1), pp. 51-76, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
information flow, Computer forensics, intrusion analysis |
15 | Detong Zhu |
Nonmonotone backtracking inexact quasi-Newton algorithms for solving smooth nonlinear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 161(3), pp. 875-895, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Christian Bessière, Arnold Maestre, Ismel Brito, Pedro Meseguer |
Asynchronous backtracking without adding links: a new member in the ABT family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 161(1-2), pp. 7-24, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ke Liu 0001, Nael B. Abu-Ghazaleh |
Virtual Coordinate Backtracking for Void Traversal in Geographic Routing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0511059, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Jan Degraer, Kris Coolsaet |
Classification of three-class association schemes using backtracking with dynamic variable ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 300(1-3), pp. 71-81, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Berardi, Thierry Coquand, Susumu Hayashi |
Games with 1-backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 210-225, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Sriranjani Sitaraman, Subbarayan Venkatesan |
Forensic Analysis of File System Intrusions Using Improved Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIA ![In: Proceedings of the 3rd IEEE International Workshop on Information Assurance (IWIA 2005), 23-24 March 2005, College Park, MD, USA, pp. 154-163, 2005, IEEE Computer Society, 0-7695-2317-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Henry Müller |
Static and dynamic variable sorting strategies for backtracking-based search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 99-110, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere |
Backtracking and dynamic patching for free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 83-88, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Rong Zhou 0001, Eric A. Hansen |
Beam-Stack Search: Integrating Backtracking with Beam Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA, pp. 90-98, 2005, AAAI, 1-57735-220-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Marija Kulas |
Toward the Concept of Backtracking Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@CONCUR ![In: Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004, pp. 39-59, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|