Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Imre Pólik, Tamás Terlaky |
New stopping criteria for detecting infeasibility in conic optimization. |
Optim. Lett. |
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. |
Constraints An Int. J. |
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. |
Inf. Syst. E Bus. Manag. |
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. |
SCAM |
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. |
Math. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
41 | Amos Beimel, Renen Hallak, Kobbi Nissim |
Private Approximation of Clustering and Vertex Cover. |
TCC |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Jianmin Zhang, Sikun Li, ShengYu Shen |
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Olli Kamarainen, Hani El Sakkout |
Local Probing Applied to Scheduling. |
CP |
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. |
COCOS |
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. |
Australasian Conference on Artificial Intelligence |
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. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
nullstellensatz |
35 | Fan Yang, Joseph C. Culberson, Robert Holte |
Using Infeasibility to Improve Abstraction-Based Heuristics. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan A. Wright, Heather Loosemore |
An Infeasibility Objective for Use in Constrained Pareto Optimization. |
EMO |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Marco D'Apuzzo, Valentina De Simone, Daniela di Serafino |
Starting-point strategies for an infeasible potential reduction method. |
Optim. Lett. |
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. |
Math. Program. |
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. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jianmin Zhang, ShengYu Shen, Sikun Li |
Finding Unsatisfiable Subformulas with Stochastic Method. |
IDEAL |
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 |
FSE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jianmin Zhang, ShengYu Shen, Sikun Li |
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. |
ICCSA (3) |
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. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
Tracking MUSes and Strict Inconsistent Covers. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Ranjit Jhala, Rupak Majumdar |
Path slicing. |
PLDI |
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. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Petros Drineas, Ravi Kannan, Michael W. Mahoney |
Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | J. Paul Myers Jr. |
Adaptive approaches to structural software testing (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Renato Bruni |
On exact selection of minimally unsatisfiable subformulae. |
Ann. Math. Artif. Intell. |
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. |
Constraints An Int. J. |
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. |
Math. Program. |
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. |
ICSM |
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. |
SIAM J. Optim. |
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. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation. |
IEEE Robotics Autom. Lett. |
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. |
Autom. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jason Ye, Joseph K. Scott |
Extended McCormick relaxation rules for handling empty arguments representing infeasibility. |
J. Glob. Optim. |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
A sampling and learning framework to prove motion planning infeasibility. |
Int. J. Robotics Res. |
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. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Cofta, Beata Marciniak |
The Infeasibility of Using Reference Nodes in Reputation-Based IoT Sensor Networks. |
ICSPCS |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jisun Park, Ernest K. Ryu |
Accelerated Infeasibility Detection of Constrained Optimization and Fixed-Point Iterations. |
ICML |
2023 |
DBLP BibTeX RDF |
|
21 | Hoon Sung Chwa, Jinkyu Lee 0001 |
Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms. |
IEEE Embed. Syst. Lett. |
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. |
J. Open Source Softw. |
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. |
CoRR |
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. |
CoRR |
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. |
Appl. Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Exponential Convergence of Infeasibility Proofs for Kinematic Motion Planning. |
WAFR |
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. |
EvoCOP |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Guo-Ya Gan, Hsuan-Shih Lee |
Resolving the infeasibility of the super-efficiency DEA based on DDF. |
Ann. Oper. Res. |
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. |
SIAM J. Optim. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jakob Witzig, Timo Berthold, Stefan Heinz 0001 |
Computational aspects of infeasibility analysis in mixed integer programming. |
Math. Program. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yue Yu 0004, Ufuk Topcu |
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization. |
CoRR |
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. |
Discret. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Arvind U. Raghunathan |
Homogeneous Formulation of Convex Quadratic Programs for Infeasibility Detection. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil Dantam |
Learning Proofs of Motion Planning Infeasibility. |
Robotics: Science and Systems |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Panteleimon Krasadakis, Vassilios S. Verykios, Evangelos Sakkopoulos |
Resolving Infeasibility in Linear Programs for the Frequent Itemset Hiding Problem. |
ICTAI |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Javier Peña 0001, Vera Roshchina |
A Data-Independent Distance to Infeasibility for Linear Conic Systems. |
SIAM J. Optim. |
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. |
J. Cryptol. |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Shahbaz Rezaei, Xin Liu 0002 |
Towards the Infeasibility of Membership Inference on Deep Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Chao Wang 0039, Ran Xu |
An angle based evolutionary algorithm with infeasibility information for constrained many-objective optimization. |
Appl. Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Sihui Li, Neil T. Dantam |
Towards General Infeasibility Proofs in Motion Planning*. |
IROS |
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. |
Optim. Methods Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Caraffini, Anna V. Kononova, David Corne |
Infeasibility and structural bias in differential evolution. |
Inf. Sci. |
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. |
Algorithmica |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Caraffini, Anna V. Kononova, David Corne |
Infeasibility and structural bias in Differential Evolution. |
CoRR |
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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Yongge Wang, Qutaibah M. Malluhi |
The limit of blockchains: infeasibility of a smart Obama-Trump contract. |
Commun. ACM |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Paul Armand, Ngoc Nguyen Tran |
An Augmented Lagrangian Method for Equality Constrained Optimization with Rapid Infeasibility Detection Capabilities. |
J. Optim. Theory Appl. |
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. |
J. Optim. Theory Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Raúl Mencía, Carlos Mencía, Ramiro Varela |
Repairing Infeasibility in Scheduling via Genetic Algorithms. |
IWINAC (2) |
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. |
CEC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Read-Once Certification of Linear Infeasibility in UTVPI Constraints. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | K. Subramani 0001, Piotr Wojciechowski 0002 |
A Graphical Analysis of Integer Infeasibility in UTVPI Constraints. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Göke, Lydia Mirabel Mendoza Cadena, Matthias Mnich |
Resolving Infeasibility of Linear Systems: A Parameterized Approach. |
IPEC |
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. |
Comput. Chem. Eng. |
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. |
SIAM J. Optim. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Lucas, Raúl Gutiérrez |
Use of logical models for proving infeasibility in term rewriting. |
Inf. Process. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Dong-Joon Lim |
Technology forecasting using DEA in the presence of infeasibility. |
Int. Trans. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ruiyue Lin, Zhiping Chen 0001 |
Modified super-efficiency DEA models for solving infeasibility under non-negative data set. |
INFOR Inf. Syst. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yongge Wang, Qutaibah M. Malluhi |
The Limit of Blockchains: Infeasibility of a Smart Obama-Trump Contract. |
IACR Cryptol. ePrint Arch. |
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. |
Expert Syst. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yash Puranik, Nikolaos V. Sahinidis |
Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models. |
INFORMS J. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Hannes Fendl, Arnold Neumaier, Hermann Schichl |
Certificates of infeasibility via nonsmooth optimization. |
J. Glob. Optim. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | S. J. Gismondi, E. R. Swart |
Using Matching to Detect Infeasibility of Some Integer Programs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Tatsuro Kawamoto |
Algorithmic infeasibility of community detection in higher-order networks. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord |
Simple Infeasibility Certificates for Attack Trees. |
IWSEC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sébastien Bardin, Robin David, Jean-Yves Marion |
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. |
IEEE Symposium on Security and Privacy |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya |
Weak infeasibility in second order cone programming. |
Optim. Lett. |
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. |
Oper. Res. Lett. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Robin David, Sébastien Bardin, Jean-Yves Marion |
Targeting Infeasibility Questions on Obfuscated Codes. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Jeremy Morse, Steve Kerrison, Kerstin Eder |
On the infeasibility of analysing worst-case dynamic energy. |
CoRR |
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. |
J. Glob. Optim. |
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. |
IACR Cryptol. ePrint Arch. |
2015 |
DBLP BibTeX RDF |
|
21 | Jonathan Katz, Aishwarya Thiruvengadam, Hong-Sheng Zhou |
Feasibility and Infeasibility of Adaptively Secure Fully Homomorphic Encryption. |
IACR Cryptol. ePrint Arch. |
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. |
GECCO (Companion) |
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. |
VLSID |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Wael Suleiman, Fumio Kanehiro, Eiichi Yoshida |
Infeasibility-free inverse kinematics method. |
SII |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Annegret Katrin Wagler, Jan-Thierry Wegener |
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jorge Nocedal, Figen Öztoprak, Richard A. Waltz |
An interior point method for nonlinear programming with infeasibility detection capabilities. |
Optim. Methods Softw. |
2014 |
DBLP DOI BibTeX RDF |
|