( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

, , и . AAAI, стр. 8146-8153. AAAI Press, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Loïc Paulevé

Loïc Yon

Loïc Fejoz

Loïc Botrel

Loïc Gammaitoni

 

Другие публикации лиц с тем же именем

Concurrency in Boolean networks., , , , и . CoRR, (2019)Concurrency in Boolean networks., , , , и . Nat. Comput., 19 (1): 91-109 (2020)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , и . GandALF, том 370 из EPTCS, стр. 178-193. (2022)Computational Complexity of Minimal Trap Spaces in Boolean Networks., , и . CoRR, (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , и . AAAI, стр. 8146-8153. AAAI Press, (2024)Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey., и . SASB, том 284 из Electronic Notes in Theoretical Computer Science, стр. 93-104. Elsevier, (2011)Tuning Temporal Features within the Stochastic π-Calculus., , и . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)Preface., , и . Theor. Comput. Sci., (2019)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , и 65 other автор(ы). Nucleic Acids Res., 50 (W1): 108-114 (2022)Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis.. CoRR, (2022)