Solving MaxSAT with Bit-Vector Optimization

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_4 ◽

2018 ◽

pp. 54-72 ◽

Author(s):

Alexander Nadel

Keyword(s):

Vector Optimization ◽

Download Full-text

Bit-vector optimization algorithms for control of learning in neurons with second-messenger dynamics

IEEE International Conference on Neural Networks ◽

10.1109/icnn.1988.23912 ◽

1988 ◽

Author(s):

Kirby ◽

Conrad

Keyword(s):

Vector Optimization ◽

Optimization Algorithms ◽

Second Messenger ◽

Download Full-text

Bit-Vector Optimization

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-49674-9_53 ◽

2016 ◽

pp. 851-867 ◽

Author(s):

Alexander Nadel ◽

Vadim Ryvchin

Keyword(s):

Vector Optimization ◽

Download Full-text

Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization

2019 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2019.8894273 ◽

2019 ◽

Author(s):

Alexander Nadel

Keyword(s):

Vector Optimization ◽

Download Full-text

Vector Optimization of Hierarchical Structures

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v36.i11.40 ◽

2004 ◽

Vol 36 (11) ◽

pp. 19-26 ◽

Author(s):

Albert N. Voronin

Keyword(s):

Vector Optimization ◽

Hierarchical Structures

Download Full-text

A Decision Procedure for Bit-Vector Arithmetic

10.21236/ada400400 ◽

1998 ◽

Author(s):

Clark W. Barrett ◽

David L. Dill ◽

Jeremy R. Levitt

Keyword(s):

Decision Procedure ◽

Download Full-text

Recent Advances and Historical Development of Vector Optimization

10.1007/978-3-642-46618-2 ◽

1987 ◽

Keyword(s):

Vector Optimization ◽

Historical Development ◽

Recent Advances

Download Full-text

On How Bit-Vector Logic Can Help Verify LTL-based Specifications

IEEE Transactions on Software Engineering ◽

10.1109/tse.2020.3014394 ◽

2020 ◽

pp. 1-1

Author(s):

Mohammad Mehdi Pourhashem Kallehbasti ◽

Matteo Giovanni Rossi ◽

Luciano Baresi

Keyword(s):

Download Full-text

Multi-modal actuation with the activation bit vector machine

Cognitive Systems Research ◽

10.1016/j.cogsys.2020.10.022 ◽

2021 ◽

Vol 66 ◽

pp. 162-175

Author(s):

H.R. Schmidtke

Keyword(s):

Download Full-text

Vector optimization problems with quasiconvex constraints

Journal of Global Optimization ◽

10.1007/s10898-008-9314-x ◽

2008 ◽

Vol 44 (1) ◽

pp. 111-130 ◽

Author(s):

Ivan Ginchev

Keyword(s):

Vector Optimization ◽

Optimization Problems ◽

Vector Optimization Problems ◽

Quasiconvex Constraints

Download Full-text

Optimality and duality for vector optimization problem with non-convex feasible set

OPSEARCH ◽

10.1007/s12597-019-00401-3 ◽

2019 ◽

Vol 57 (1) ◽

pp. 1-12 ◽

Author(s):

S. K. Suneja ◽

Sunila Sharma ◽

Priyanka Yadav

Keyword(s):

Vector Optimization ◽

Optimization Problem ◽

Vector Optimization Problem ◽

Feasible Set ◽

Optimality And Duality

Download Full-text