What is the satisfiability threshold of random balanced Boolean expressions?

Author(s):  
Naomi Lindenstrauss ◽  
Michel Talagrand
Keyword(s):  
1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.


2019 ◽  
Vol 15 (3) ◽  
pp. 1629-1642 ◽  
Author(s):  
Yanhong Li ◽  
Wang Zhang ◽  
Rongbo Zhu ◽  
Guohui Li ◽  
Maode Ma ◽  
...  

Author(s):  
Fernando Krell ◽  
Gabriela Ciocarlie ◽  
Ashish Gehani ◽  
Mariana Raykova

Sign in / Sign up

Export Citation Format

Share Document