Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Imre Pólik, Tamás Terlaky |
New stopping criteria for detecting infeasibility in conic optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(2), pp. 187-198, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Approximate Farkas theorem, Conic optimization, Infeasibility, Stopping criteria |
80 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva 0001, Karem A. Sakallah |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(4), pp. 415-442, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability |
68 | Nitza Geri, Niv Ahituv |
A Theory of Constraints approach to interorganizational systems implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 6(4), pp. 341-360, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interorganizational systems (IOS), Theory of Constraints (TOC), Information systems adoption and implementation, Organizational feasibility of information systems |
67 | Amie L. Souter, Lori L. Pollock |
Type Infeasible Call Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy, pp. 196-205, 2001, IEEE Computer Society, 0-7695-1387-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Call chains, Type Infeasibility |
42 | Minghui Liu, Gábor Pataki |
Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 167(2), pp. 435-480, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
41 | Amos Beimel, Renen Hallak, Kobbi Nissim |
Private Approximation of Clustering and Vertex Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings, pp. 383-403, 2007, Springer, 3-540-70935-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Jianmin Zhang, Sikun Li, ShengYu Shen |
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 847-856, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Olli Kamarainen, Hani El Sakkout |
Local Probing Applied to Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 155-171, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | El-Sayed M. E. Mostafa, Luís Nunes Vicente, Stephen J. Wright 0001 |
Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 123-141, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
identification of active constraints, infeasibility, nonlinear programming, degeneracy, successive quadratic programming |
35 | Hemant K. Singh, Amitay Isaacs, Tapabrata Ray, Warren F. Smith |
Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2008: Advances in Artificial Intelligence, 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008. Proceedings, pp. 104-115, 2008, Springer, 978-3-540-89377-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Jesús A. De Loera, Jon Lee 0001, Peter N. Malkin, Susan Margulies |
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 197-206, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nullstellensatz |
35 | Fan Yang, Joseph C. Culberson, Robert Holte |
Using Infeasibility to Improve Abstraction-Based Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 413-414, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan A. Wright, Heather Loosemore |
An Infeasibility Objective for Use in Constrained Pareto Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001, Proceedings, pp. 256-268, 2001, Springer, 3-540-41745-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Marco D'Apuzzo, Valentina De Simone, Daniela di Serafino |
Starting-point strategies for an infeasible potential reduction method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 4(1), pp. 131-146, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Starting point, Potential reduction, Quadratic programming |
27 | Michael J. Todd |
Dual versus primal-dual interior-point methods for linear and conic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 111(1-2), pp. 301-313, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C25, 90C51 |
27 | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |
Connections in Networks: Hardness of Feasibility Versus Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 16-28, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jianmin Zhang, ShengYu Shen, Sikun Li |
Finding Unsatisfiable Subformulas with Stochastic Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings, pp. 385-394, 2007, Springer, 978-3-540-77225-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method |
27 | Bo-Yin Yang, Chia-Hsin Owen Chen, Daniel J. Bernstein, Jiun-Ming Chen |
Analysis of QUAD ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers, pp. 290-308, 2007, Springer, 978-3-540-74617-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jianmin Zhang, ShengYu Shen, Sikun Li |
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 649-659, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unsatisfiable core, Unit clause propagation, Binary clause resolution, Equality reduction, Local search |
27 | Theodore P. Baker, Michele Cirinei |
A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil, pp. 178-190, 2006, IEEE Computer Society, 0-7695-2761-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
Tracking MUSes and Strict Inconsistent Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 39-46, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Ranjit Jhala, Rupak Majumdar |
Path slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 38-47, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, program slicing |
27 | François Baccelli, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray |
Blocking rates in large CDMA networks via a spatial Erlang formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 58-67, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Petros Drineas, Ravi Kannan, Michael W. Mahoney |
Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 57-68, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | J. Paul Myers Jr. |
Adaptive approaches to structural software testing (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 432, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Renato Bruni |
On exact selection of minimally unsatisfiable subformulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 35-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infeasibility analysis, MUS selection, (Un)Satisfiability |
26 | Paula Amaral 0001, Pedro Barahona |
A Framework for Optimal Correction of Inconsistent Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(1), pp. 67-86, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infeasibility, flexible constraints, optimal correction, linear constraints |
26 | Arnold Neumaier, Oleg Shcherbina |
Safe bounds in linear and mixed-integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(2), pp. 283-296, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
directed rounding, mixed-integer rounding, generalized Gomory cut, safe cuts, safe presolve, certificate of infeasibility, lower bounds, linear programming, mixed-integer programming, interval arithmetic, branch-and-cut, rounding errors |
26 | Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella |
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 189-198, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation |
21 | David L. Applegate, Mateo Díaz, Haihao Lu, Miles Lubin |
Infeasibility Detection with Primal-Dual Hybrid Gradient for Large-Scale Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 34(1), pp. 459-484, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Anh Duc Nguyen, Tuan Dung Nguyen, Quang Minh Nguyen, Hoang H. Nguyen, Lam M. Nguyen, Kim-Chuan Toh |
On Partial Optimal Transport: Revising the Infeasibility of Sinkhorn and Efficient Gradient Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 8090-8098, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(12), pp. 8303-8310, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Falsone, Federico Bianchi 0005, Maria Prandini |
Dealing with infeasibility in multi-parametric programming for application to explicit model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 157, pp. 111279, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jason Ye, Joseph K. Scott |
Extended McCormick relaxation rules for handling empty arguments representing infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 87(1), pp. 57-95, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Wenjie Liu, Zixian Li, Gonglin Yuan |
Infeasibility of constructing a special orthogonal matrix for the deterministic remote preparation of arbitrary n-qubit state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14363, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yi-Kai Liu 0001 |
An Uncertainty Principle for the Curvelet Transform, and the Infeasibility of Quantum Algorithms for Finding Short Lattice Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03735, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Anh Duc Nguyen, Tuan Dung Nguyen, Quang Minh Nguyen, Hoang H. Nguyen, Lam M. Nguyen, Kim-Chuan Toh |
On Partial Optimal Transport: Revising the Infeasibility of Sinkhorn and Efficient Gradient Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13970, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
A sampling and learning framework to prove motion planning infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 42(10), pp. 938-956, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Wai Tuck Wong, Sarah Eve Kinsey, Ramesha Karunasena, Thanh Hong Nguyen, Arunesh Sinha |
Beyond NaN: Resiliency of Optimization Layers in the Face of Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 15242-15250, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Cofta, Beata Marciniak |
The Infeasibility of Using Reference Nodes in Reputation-Based IoT Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSPCS ![In: 16th International Conference on Signal Processing and Communication System, ICSPCS 2023, Bydgoszcz, Poland, September 6-8, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3351-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jisun Park, Ernest K. Ryu |
Accelerated Infeasibility Detection of Constrained Optimization and Fixed-Point Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 27294-27345, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Hoon Sung Chwa, Jinkyu Lee 0001 |
Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 14(2), pp. 55-58, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Tangi Migot, Dominique Orban, Abel Soares Siqueira |
DCISolver.jl: A Julia Solver for Nonlinear Optimization using Dynamic Control of Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 7(69), pp. 3991, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Wai Tuck Wong, Andrew Butler, Ramesha Karunasena, Thanh Hong Nguyen, Arunesh Sinha |
Beyond NaN: Resiliency of Optimization Layers in The Face of Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06242, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Kristóf Bérczi, Alexander Göke, Lydia Mirabel Mendoza Cadena, Matthias Mnich |
Resolving Infeasibility of Linear Systems: A Parameterized Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.02017, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Chaoda Peng, Shaojian Qiu |
A decomposition-based constrained multi-objective evolutionary algorithm with a local infeasibility utilization mechanism for UAV path planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 118, pp. 108495, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Exponential Convergence of Infeasibility Proofs for Kinematic Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundations of Robotics XV - Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics, WAFR 2022, College Park, MD, USA, 22-24 June, 2022., pp. 294-311, 2022, Springer, 978-3-031-21089-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Beling, Piotr Cybula, Andrzej Jaszkiewicz, Przemyslaw Pelka, Marek Rogalski 0001, Piotr Sielski |
Deep Infeasibility Exploration Method for Vehicle Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization - 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings, pp. 62-78, 2022, Springer, 978-3-031-04147-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Guo-Ya Gan, Hsuan-Shih Lee |
Resolving the infeasibility of the super-efficiency DEA based on DDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 307(1), pp. 139-152, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Roger Behling, José Yunier Bello Cruz, Luiz-Rafael Santos |
Infeasibility and Error Bound Imply Finite Convergence of Alternating Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 31(4), pp. 2863-2892, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jakob Witzig, Timo Berthold, Stefan Heinz 0001 |
Computational aspects of infeasibility analysis in mixed integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 13(4), pp. 753-785, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yue Yu 0004, Ufuk Topcu |
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.02756, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Piotr Wojciechowski 0002, K. Subramani 0001, Matthew D. Williamson |
Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 305, pp. 272-294, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Arvind U. Raghunathan |
Homogeneous Formulation of Convex Quadratic Programs for Infeasibility Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 968-973, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil Dantam |
Learning Proofs of Motion Planning Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics: Science and Systems ![In: Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021, 978-0-9923747-7-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Panteleimon Krasadakis, Vassilios S. Verykios, Evangelos Sakkopoulos |
Resolving Infeasibility in Linear Programs for the Frequent Itemset Hiding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021, pp. 1067-1074, 2021, IEEE, 978-1-6654-0898-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Javier Peña 0001, Vera Roshchina |
A Data-Independent Distance to Infeasibility for Linear Conic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 30(2), pp. 1049-1066, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Dana Dachman-Soled, Nils Fleischhacker, Jonathan Katz, Anna Lysyanskaya, Dominique Schröder |
Feasibility and Infeasibility of Secure Computation with Malicious PUFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 33(2), pp. 595-617, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | David Suter, Ruwan B. Tennakoon, Erchuan Zhang, Tat-Jun Chin, Alireza Bab-Hadiashar |
Monotone Boolean Functions, Feasibility/Infeasibility, LP-type problems and MaxCon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.05490, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Shahbaz Rezaei, Xin Liu 0002 |
Towards the Infeasibility of Membership Inference on Deep Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.13702, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Chao Wang 0039, Ran Xu |
An angle based evolutionary algorithm with infeasibility information for constrained many-objective optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 86, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Towards General Infeasibility Proofs in Motion Planning*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pp. 6704-6710, 2020, IEEE, 978-1-7281-6212-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Paul Armand, Ngoc Nguyen Tran |
Rapid infeasibility detection in a mixed logarithmic barrier-augmented Lagrangian method for nonlinear optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 34(5), pp. 991-1013, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Caraffini, Anna V. Kononova, David Corne |
Infeasibility and structural bias in differential evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 496, pp. 161-179, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | K. Subramani 0001, Piotr Wojciechowski 0002 |
A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 81(7), pp. 2765-2794, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Caraffini, Anna V. Kononova, David Corne |
Infeasibility and structural bias in Differential Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.06153, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Shimiao Li, Amritanshu Pandey, Aayushya Agarwal, Marko Jereminov, Larry T. Pileggi |
A LASSO-Inspired Approach for Localizing Power System Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.05154, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Yongge Wang, Qutaibah M. Malluhi |
The limit of blockchains: infeasibility of a smart Obama-Trump contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 62(5), pp. 64-69, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Paul Armand, Ngoc Nguyen Tran |
An Augmented Lagrangian Method for Equality Constrained Optimization with Rapid Infeasibility Detection Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 181(1), pp. 197-215, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Goran Banjac, Paul Goulart, Bartolomeo Stellato, Stephen P. Boyd |
Infeasibility Detection in the Alternating Direction Method of Multipliers for Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 183(2), pp. 490-519, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Raúl Mencía, Carlos Mencía, Ramiro Varela |
Repairing Infeasibility in Scheduling via Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (2) ![In: From Bioinspired Systems and Biomedical Applications to Machine Learning - 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II, pp. 254-263, 2019, Springer, 978-3-030-19650-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Kamrul Hasan Rahi, Hemant Kumar Singh, Tapabrata Ray |
Investigating the use of sequencing and infeasibility driven strategies for constrained optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: IEEE Congress on Evolutionary Computation, CEC 2019, Wellington, New Zealand, June 10-13, 2019, pp. 1642-1649, 2019, IEEE, 978-1-7281-2153-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Read-Once Certification of Linear Infeasibility in UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 578-593, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | K. Subramani 0001, Piotr Wojciechowski 0002 |
A Graphical Analysis of Integer Infeasibility in UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings, pp. 223-234, 2019, Springer, 978-3-030-35165-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Göke, Lydia Mirabel Mendoza Cadena, Matthias Mnich |
Resolving Infeasibility of Linear Systems: A Parameterized Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 14th International Symposium on Parameterized and Exact Computation, IPEC 2019, September 11-13, 2019, Munich, Germany., pp. 17:1-17:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-129-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yash Puranik, Apurva Samudra, Nikolaos V. Sahinidis, Alexander B. Smith, Bijan Sayyar-Rodsari |
Infeasibility resolution for multi-purpose batch process scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 116, pp. 69-79, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Denis Aßmann, Frauke Liers, Michael Stingl, Juan C. Vera 0001 |
Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 28(3), pp. 2489-2517, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Lucas, Raúl Gutiérrez |
Use of logical models for proving infeasibility in term rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 136, pp. 90-95, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Dong-Joon Lim |
Technology forecasting using DEA in the presence of infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Oper. Res. ![In: Int. Trans. Oper. Res. 25(5), pp. 1695-1706, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ruiyue Lin, Zhiping Chen 0001 |
Modified super-efficiency DEA models for solving infeasibility under non-negative data set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOR Inf. Syst. Oper. Res. ![In: INFOR Inf. Syst. Oper. Res. 56(3), pp. 265-285, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yongge Wang, Qutaibah M. Malluhi |
The Limit of Blockchains: Infeasibility of a Smart Obama-Trump Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 252, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Can Berk Kalayci, Okkes Ertenlice, Hasan Akyer, Hakan Aygoren |
An artificial bee colony algorithm with feasibility enforcement and infeasibility toleration procedures for cardinality constrained portfolio optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 85, pp. 61-75, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yash Puranik, Nikolaos V. Sahinidis |
Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 29(4), pp. 754-766, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Hannes Fendl, Arnold Neumaier, Hermann Schichl |
Certificates of infeasibility via nonsmooth optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 69(1), pp. 157-182, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | S. J. Gismondi, E. R. Swart |
Using Matching to Detect Infeasibility of Some Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.01532, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Tatsuro Kawamoto |
Algorithmic infeasibility of community detection in higher-order networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.08816, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord |
Simple Infeasibility Certificates for Attack Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security - 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, Proceedings, pp. 39-55, 2017, Springer, 978-3-319-64199-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sébastien Bardin, Robin David, Jean-Yves Marion |
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pp. 633-651, 2017, IEEE Computer Society, 978-1-5090-5533-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya |
Weak infeasibility in second order cone programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 10(8), pp. 1743-1755, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Shakoor Muhammad, Vitor Nazário Coelho, Frederico Gadelha Guimarães, Ricardo H. C. Takahashi |
An infeasibility certificate for nonlinear programming based on Pareto criticality condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 44(3), pp. 302-306, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Robin David, Sébastien Bardin, Jean-Yves Marion |
Targeting Infeasibility Questions on Obfuscated Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05675, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Jeremy Morse, Steve Kerrison, Kerstin Eder |
On the infeasibility of analysing worst-case dynamic energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.02580, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Max L. N. Gonçalves, Jefferson G. Melo, Leandro da Fonseca Prudente |
Augmented Lagrangian methods for nonlinear programming with possible infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 63(2), pp. 297-318, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Dana Dachman-Soled, Nils Fleischhacker, Jonathan Katz, Anna Lysyanskaya, Dominique Schröder |
Feasibility and Infeasibility of Secure Computation with Malicious PUFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 405, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Jonathan Katz, Aishwarya Thiruvengadam, Hong-Sheng Zhou |
Feasibility and Infeasibility of Adaptively Secure Fully Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 280, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Patryk Filipiak, Krzysztof Michalak, Piotr Lipinski |
Infeasibility Driven Evolutionary Algorithm with the Anticipation Mechanism for the Reaching Goal in Dynamic Constrained Inverse Kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings, pp. 1389-1390, 2015, ACM, 978-1-4503-3488-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Nitin Salodkar, Subramanian Rajagopalan, Sambuddha Bhattacharya, Shabbir H. Batterywala |
2SAT Based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 28th International Conference on VLSI Design, VLSID 2015, Bangalore, India, January 3-7, 2015, pp. 186-191, 2015, IEEE Computer Society, 978-1-4799-6658-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Wael Suleiman, Fumio Kanehiro, Eiichi Yoshida |
Infeasibility-free inverse kinematics method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: 2015 IEEE/SICE International Symposium on System Integration, SII 2015, Nagoya, Japan, December 11-13, 2015, pp. 307-312, 2015, IEEE, 978-1-4673-7242-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Annegret Katrin Wagler, Jan-Thierry Wegener |
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 135(4), pp. 521-535, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jorge Nocedal, Figen Öztoprak, Richard A. Waltz |
An interior point method for nonlinear programming with infeasibility detection capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 29(4), pp. 837-854, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|