The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Infeasibility with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1996 (15) 1997-2000 (15) 2001-2003 (22) 2004 (15) 2005 (16) 2006 (22) 2007 (29) 2008 (26) 2009 (17) 2010-2011 (15) 2012-2014 (26) 2015-2017 (17) 2018-2019 (20) 2020-2022 (21) 2023-2024 (12)
Publication types (Num. hits)
article(143) incollection(1) inproceedings(142) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 131 occurrences of 125 keywords

Results
Found 288 publication records. Showing 288 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Imre Pólik, Tamás Terlaky New stopping criteria for detecting infeasibility in conic optimization. Search on Bibsonomy Optim. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Approximate Farkas theorem, Conic optimization, Infeasibility, Stopping criteria
80Mark 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 Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability
68Nitza Geri, Niv Ahituv A Theory of Constraints approach to interorganizational systems implementation. Search on Bibsonomy Inf. Syst. E Bus. Manag. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interorganizational systems (IOS), Theory of Constraints (TOC), Information systems adoption and implementation, Organizational feasibility of information systems
67Amie L. Souter, Lori L. Pollock Type Infeasible Call Chains. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Call chains, Type Infeasibility
42Minghui Liu, Gábor Pataki Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming. Search on Bibsonomy Math. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
41Amos Beimel, Renen Hallak, Kobbi Nissim Private Approximation of Clustering and Vertex Cover. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Jianmin Zhang, Sikun Li, ShengYu Shen Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Olli Kamarainen, Hani El Sakkout Local Probing Applied to Scheduling. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40El-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 COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF identification of active constraints, infeasibility, nonlinear programming, degeneracy, successive quadratic programming
35Hemant K. Singh, Amitay Isaacs, Tapabrata Ray, Warren F. Smith Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Jesú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 ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nullstellensatz
35Fan Yang, Joseph C. Culberson, Robert Holte Using Infeasibility to Improve Abstraction-Based Heuristics. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jonathan A. Wright, Heather Loosemore An Infeasibility Objective for Use in Constrained Pareto Optimization. Search on Bibsonomy EMO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Marco D'Apuzzo, Valentina De Simone, Daniela di Serafino Starting-point strategies for an infeasible potential reduction method. Search on Bibsonomy Optim. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Starting point, Potential reduction, Quadratic programming
27Michael J. Todd Dual versus primal-dual interior-point methods for linear and conic programming. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C25, 90C51
27Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter Connections in Networks: Hardness of Feasibility Versus Optimality. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jianmin Zhang, ShengYu Shen, Sikun Li Finding Unsatisfiable Subformulas with Stochastic Method. Search on Bibsonomy IDEAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
27Bo-Yin Yang, Chia-Hsin Owen Chen, Daniel J. Bernstein, Jiun-Ming Chen Analysis of QUAD Search on Bibsonomy FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Jianmin Zhang, ShengYu Shen, Sikun Li A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. Search on Bibsonomy ICCSA (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unsatisfiable core, Unit clause propagation, Binary clause resolution, Equality reduction, Local search
27Theodore P. Baker, Michele Cirinei A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Éric Grégoire, Bertrand Mazure, Cédric Piette Tracking MUSes and Strict Inconsistent Covers. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Ranjit Jhala, Rupak Majumdar Path slicing. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, program slicing
27François Baccelli, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray Blocking rates in large CDMA networks via a spatial Erlang formula. Search on Bibsonomy INFOCOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Petros Drineas, Ravi Kannan, Michael W. Mahoney Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27J. Paul Myers Jr. Adaptive approaches to structural software testing (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
26Renato Bruni On exact selection of minimally unsatisfiable subformulae. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infeasibility analysis, MUS selection, (Un)Satisfiability
26Paula Amaral 0001, Pedro Barahona A Framework for Optimal Correction of Inconsistent Linear Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infeasibility, flexible constraints, optimal correction, linear constraints
26Arnold Neumaier, Oleg Shcherbina Safe bounds in linear and mixed-integer linear programming. Search on Bibsonomy Math. Program. The full citation details ... 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
26Sé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 ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
21David L. Applegate, Mateo Díaz, Haihao Lu, Miles Lubin Infeasibility Detection with Primal-Dual Hybrid Gradient for Large-Scale Linear Programming. Search on Bibsonomy SIAM J. Optim. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Anh 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 AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Sihui Li, Neil T. Dantam Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Alessandro Falsone, Federico Bianchi 0005, Maria Prandini Dealing with infeasibility in multi-parametric programming for application to explicit model predictive control. Search on Bibsonomy Autom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Jason Ye, Joseph K. Scott Extended McCormick relaxation rules for handling empty arguments representing infeasibility. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Wenjie 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 CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Yi-Kai Liu 0001 An Uncertainty Principle for the Curvelet Transform, and the Infeasibility of Quantum Algorithms for Finding Short Lattice Vectors. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Anh 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 CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Sihui Li, Neil T. Dantam A sampling and learning framework to prove motion planning infeasibility. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Wai 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 AAAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Piotr Cofta, Beata Marciniak The Infeasibility of Using Reference Nodes in Reputation-Based IoT Sensor Networks. Search on Bibsonomy ICSPCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Jisun Park, Ernest K. Ryu Accelerated Infeasibility Detection of Constrained Optimization and Fixed-Point Iterations. Search on Bibsonomy ICML The full citation details ... 2023 DBLP  BibTeX  RDF
21Hoon Sung Chwa, Jinkyu Lee 0001 Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms. Search on Bibsonomy IEEE Embed. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Tangi Migot, Dominique Orban, Abel Soares Siqueira DCISolver.jl: A Julia Solver for Nonlinear Optimization using Dynamic Control of Infeasibility. Search on Bibsonomy J. Open Source Softw. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Wai 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 CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
21Kristóf Bérczi, Alexander Göke, Lydia Mirabel Mendoza Cadena, Matthias Mnich Resolving Infeasibility of Linear Systems: A Parameterized Approach. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Chaoda Peng, Shaojian Qiu A decomposition-based constrained multi-objective evolutionary algorithm with a local infeasibility utilization mechanism for UAV path planning. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Sihui Li, Neil T. Dantam Exponential Convergence of Infeasibility Proofs for Kinematic Motion Planning. Search on Bibsonomy WAFR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Piotr Beling, Piotr Cybula, Andrzej Jaszkiewicz, Przemyslaw Pelka, Marek Rogalski 0001, Piotr Sielski Deep Infeasibility Exploration Method for Vehicle Routing Problems. Search on Bibsonomy EvoCOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Guo-Ya Gan, Hsuan-Shih Lee Resolving the infeasibility of the super-efficiency DEA based on DDF. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Roger Behling, José Yunier Bello Cruz, Luiz-Rafael Santos Infeasibility and Error Bound Imply Finite Convergence of Alternating Projections. Search on Bibsonomy SIAM J. Optim. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jakob Witzig, Timo Berthold, Stefan Heinz 0001 Computational aspects of infeasibility analysis in mixed integer programming. Search on Bibsonomy Math. Program. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Yue Yu 0004, Ufuk Topcu Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Piotr 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 Discret. Appl. Math. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Arvind U. Raghunathan Homogeneous Formulation of Convex Quadratic Programs for Infeasibility Detection. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Sihui Li, Neil Dantam Learning Proofs of Motion Planning Infeasibility. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Panteleimon Krasadakis, Vassilios S. Verykios, Evangelos Sakkopoulos Resolving Infeasibility in Linear Programs for the Frequent Itemset Hiding Problem. Search on Bibsonomy ICTAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Javier Peña 0001, Vera Roshchina A Data-Independent Distance to Infeasibility for Linear Conic Systems. Search on Bibsonomy SIAM J. Optim. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Dana Dachman-Soled, Nils Fleischhacker, Jonathan Katz, Anna Lysyanskaya, Dominique Schröder Feasibility and Infeasibility of Secure Computation with Malicious PUFs. Search on Bibsonomy J. Cryptol. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21David 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 CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Shahbaz Rezaei, Xin Liu 0002 Towards the Infeasibility of Membership Inference on Deep Models. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Chao Wang 0039, Ran Xu An angle based evolutionary algorithm with infeasibility information for constrained many-objective optimization. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Sihui Li, Neil T. Dantam Towards General Infeasibility Proofs in Motion Planning*. Search on Bibsonomy IROS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Paul Armand, Ngoc Nguyen Tran Rapid infeasibility detection in a mixed logarithmic barrier-augmented Lagrangian method for nonlinear optimization. Search on Bibsonomy Optim. Methods Softw. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Fabio Caraffini, Anna V. Kononova, David Corne Infeasibility and structural bias in differential evolution. Search on Bibsonomy Inf. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21K. Subramani 0001, Piotr Wojciechowski 0002 A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints. Search on Bibsonomy Algorithmica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Fabio Caraffini, Anna V. Kononova, David Corne Infeasibility and structural bias in Differential Evolution. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Shimiao Li, Amritanshu Pandey, Aayushya Agarwal, Marko Jereminov, Larry T. Pileggi A LASSO-Inspired Approach for Localizing Power System Infeasibility. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Yongge Wang, Qutaibah M. Malluhi The limit of blockchains: infeasibility of a smart Obama-Trump contract. Search on Bibsonomy Commun. ACM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Paul Armand, Ngoc Nguyen Tran An Augmented Lagrangian Method for Equality Constrained Optimization with Rapid Infeasibility Detection Capabilities. Search on Bibsonomy J. Optim. Theory Appl. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Goran Banjac, Paul Goulart, Bartolomeo Stellato, Stephen P. Boyd Infeasibility Detection in the Alternating Direction Method of Multipliers for Convex Optimization. Search on Bibsonomy J. Optim. Theory Appl. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Raúl Mencía, Carlos Mencía, Ramiro Varela Repairing Infeasibility in Scheduling via Genetic Algorithms. Search on Bibsonomy IWINAC (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Kamrul Hasan Rahi, Hemant Kumar Singh, Tapabrata Ray Investigating the use of sequencing and infeasibility driven strategies for constrained optimization. Search on Bibsonomy CEC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21K. Subramani 0001, Piotr Wojciechowski 0002 Read-Once Certification of Linear Infeasibility in UTVPI Constraints. Search on Bibsonomy TAMC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21K. Subramani 0001, Piotr Wojciechowski 0002 A Graphical Analysis of Integer Infeasibility in UTVPI Constraints. Search on Bibsonomy AI*IA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Alexander Göke, Lydia Mirabel Mendoza Cadena, Matthias Mnich Resolving Infeasibility of Linear Systems: A Parameterized Approach. Search on Bibsonomy IPEC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Yash Puranik, Apurva Samudra, Nikolaos V. Sahinidis, Alexander B. Smith, Bijan Sayyar-Rodsari Infeasibility resolution for multi-purpose batch process scheduling. Search on Bibsonomy Comput. Chem. Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Denis 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 SIAM J. Optim. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Salvador Lucas, Raúl Gutiérrez Use of logical models for proving infeasibility in term rewriting. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Dong-Joon Lim Technology forecasting using DEA in the presence of infeasibility. Search on Bibsonomy Int. Trans. Oper. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Ruiyue Lin, Zhiping Chen 0001 Modified super-efficiency DEA models for solving infeasibility under non-negative data set. Search on Bibsonomy INFOR Inf. Syst. Oper. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Yongge Wang, Qutaibah M. Malluhi The Limit of Blockchains: Infeasibility of a Smart Obama-Trump Contract. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2018 DBLP  BibTeX  RDF
21Can 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 Expert Syst. Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Yash Puranik, Nikolaos V. Sahinidis Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models. Search on Bibsonomy INFORMS J. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Hannes Fendl, Arnold Neumaier, Hermann Schichl Certificates of infeasibility via nonsmooth optimization. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21S. J. Gismondi, E. R. Swart Using Matching to Detect Infeasibility of Some Integer Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Tatsuro Kawamoto Algorithmic infeasibility of community detection in higher-order networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord Simple Infeasibility Certificates for Attack Trees. Search on Bibsonomy IWSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Sébastien Bardin, Robin David, Jean-Yves Marion Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya Weak infeasibility in second order cone programming. Search on Bibsonomy Optim. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Shakoor 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 Oper. Res. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Robin David, Sébastien Bardin, Jean-Yves Marion Targeting Infeasibility Questions on Obfuscated Codes. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
21Jeremy Morse, Steve Kerrison, Kerstin Eder On the infeasibility of analysing worst-case dynamic energy. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
21Max L. N. Gonçalves, Jefferson G. Melo, Leandro da Fonseca Prudente Augmented Lagrangian methods for nonlinear programming with possible infeasibility. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Dana Dachman-Soled, Nils Fleischhacker, Jonathan Katz, Anna Lysyanskaya, Dominique Schröder Feasibility and Infeasibility of Secure Computation with Malicious PUFs. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2015 DBLP  BibTeX  RDF
21Jonathan Katz, Aishwarya Thiruvengadam, Hong-Sheng Zhou Feasibility and Infeasibility of Adaptively Secure Fully Homomorphic Encryption. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2015 DBLP  BibTeX  RDF
21Patryk 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 GECCO (Companion) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Nitin Salodkar, Subramanian Rajagopalan, Sambuddha Bhattacharya, Shabbir H. Batterywala 2SAT Based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids. Search on Bibsonomy VLSID The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Wael Suleiman, Fumio Kanehiro, Eiichi Yoshida Infeasibility-free inverse kinematics method. Search on Bibsonomy SII The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Annegret Katrin Wagler, Jan-Thierry Wegener Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Jorge Nocedal, Figen Öztoprak, Richard A. Waltz An interior point method for nonlinear programming with infeasibility detection capabilities. Search on Bibsonomy Optim. Methods Softw. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 288 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license