Algorithm-Independent Framework for Verifying Integer Constraints

Mapping Intimacies ◽

10.21236/ada436487 ◽

2000 ◽

Author(s):

David Teller ◽

Zhong Shao

Keyword(s):

Integer Constraints

Download Full-text

Imperfect Competition, Integer Constraints and Industry Dynamics

SSRN Electronic Journal ◽

10.2139/ssrn.939530 ◽

2004 ◽

Author(s):

Rabah Amir ◽

Val E. Lambson

Keyword(s):

Imperfect Competition ◽

Industry Dynamics ◽

Integer Constraints

Download Full-text

Distributed ADMM using Private Blockchain for Power Flow Optimization in Distribution Network with Coupled and Mixed-Integer Constraints

IEEE Access ◽

10.1109/access.2021.3066970 ◽

2021 ◽

pp. 1-1

Author(s):

Chinmay Shah ◽

Jennifer King ◽

Richard Wies

Keyword(s):

Distribution Network ◽

Mixed Integer ◽

Flow Optimization ◽

Integer Constraints

Download Full-text

Control allocation for a class of morphing aircraft with integer constraints based on Lévy flight

Journal of Systems Engineering and Electronics ◽

10.23919/jsee.2020.000056 ◽

2020 ◽

Vol 31 (4) ◽

pp. 826-840

Author(s):

Lu Yao ◽

Sun You ◽

Liu Xiaodong ◽

Gao Bo

Keyword(s):

Control Allocation ◽

Lévy Flight ◽

Levy Flight ◽

Morphing Aircraft ◽

Integer Constraints

Download Full-text

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02658-4_34 ◽

2009 ◽

pp. 446-461 ◽

Author(s):

Nathan Kitchen ◽

Andreas Kuehlmann

Keyword(s):

Monte Carlo ◽

Markov Chain ◽

Markov Chain Monte Carlo ◽

Integer Constraints

Download Full-text

UPPER AND LOWER BOUNDS IN QUADRATIC MAXIMIZATION WITH INTEGER CONSTRAINTS

Recent Trends in Optimization Theory and Applications ◽

10.1142/9789812798862_0019 ◽

1995 ◽

pp. 297-310

Author(s):

PIERLUIGI MAPONI ◽

GRAZIELLA PACELLI ◽

MARIA CRISTINA RECCHIONI ◽

FRANCESCO ZIRILLI

Keyword(s):

Lower Bounds ◽

Upper And Lower Bounds ◽

Integer Constraints

Download Full-text

Distributed network resource allocation with integer constraints

2016 IEEE Global Conference on Signal and Information Processing (GlobalSIP) ◽

10.1109/globalsip.2016.7905909 ◽

2016 ◽

Author(s):

Yujiao Cheng ◽

Houfeng Huang ◽

Gang Wu ◽

Qing Ling

Keyword(s):

Resource Allocation ◽

Distributed Network ◽

Network Resource ◽

Network Resource Allocation ◽

Integer Constraints

Download Full-text

An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

IEEE Transactions on Software Engineering ◽

10.1109/tse.1987.233144 ◽

1987 ◽

Vol SE-13 (12) ◽

pp. 1340-1347

Author(s):

S. Biswas ◽

V. Rajaraman

Keyword(s):

Decision Tables ◽

Integer Constraints

Download Full-text

Scalable and Robust Demand Response With Mixed-Integer Constraints

IEEE Transactions on Smart Grid ◽

10.1109/tsg.2013.2257893 ◽

2013 ◽

Vol 4 (4) ◽

pp. 2089-2099 ◽

Author(s):

Seung-Jun Kim ◽

Georgios B. Giannakis

Keyword(s):

Demand Response ◽

Mixed Integer ◽

Integer Constraints

Download Full-text

Imperfect competition, integer constraints and industry dynamics

International Journal of Industrial Organization ◽

10.1016/j.ijindorg.2005.12.004 ◽

2007 ◽

Vol 25 (2) ◽

pp. 261-274 ◽

Author(s):

Rabah Amir ◽

Val E. Lambson

Keyword(s):

Imperfect Competition ◽

Industry Dynamics ◽

Integer Constraints

Download Full-text

Verifying systems with integer constraints and Boolean predicates

ACM SIGSOFT Software Engineering Notes ◽

10.1145/271775.271799 ◽

1998 ◽

Vol 23 (2) ◽

pp. 113-123 ◽

Author(s):

Tevfik Bultan ◽

Richard Gerber ◽

Christopher League

Keyword(s):

Integer Constraints

Download Full-text