Author of the publication

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

, , and . AAAI, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency in Boolean networks., , , , and . CoRR, (2019)Computational Complexity of Minimal Trap Spaces in Boolean Networks., , and . CoRR, (2022)Concurrency in Boolean networks., , , , and . Nat. Comput., 19 (1): 91-109 (2020)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , and . AAAI, page 8146-8153. AAAI Press, (2024)Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey., and . SASB, volume 284 of Electronic Notes in Theoretical Computer Science, page 93-104. Elsevier, (2011)Non-Deterministic Updates of Boolean Networks., and . AUTOMATA, volume 90 of OASIcs, page 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Variable-Depth Simulation of Most Permissive Boolean Networks., and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 138-157. Springer, (2022)Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics., , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 555-576. Springer, (2019)Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision., , , , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 193-209. Springer, (2020)