Search results for "Infeasibility"

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