|
A Logic-Based Approach / 33 --2.4
|
2000
|
1
|
|
Logic-Based Benders Decomposition / 389 --19.1
|
2000
|
1
|
|
Logic-Based Branch and Bound / 149 --9.1
|
2000
|
1
|
|
Logic Based Conjoint Analysis Using the Commuting Quantum Query Language / / Ingo Schmitt, Daniel Baier --
|
2013
|
1
|
|
Logic-Based Deductive Reasoning / / James J. Lu and Erik Rosenthal --30.
|
1997
|
1
|
|
A Logic-Based Formalization of KPIs for Virtual Enterprises / / Claudia Diamantini, Domenico Potena, Emanuele Storti --
|
2013
|
1
|
|
Logic-Based Formalization of System Requirements for Integrated Clinical Environments / / Cinzia Bernardeschi, Andrea Domenici, Paolo Masci --
|
2019
|
1
|
|
A Logic-Based Framework for Reactive Systems / / Robert Kowalski and Fariba Sadri --
|
2012
|
1
|
|
A Logic-Based Framework for Verifying Consensus Algorithms / / Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder and Damien Zufferey --
|
2014
|
1
|