What is the satisfiability threshold of random balanced Boolean expressions?

2021 ◽  
Author(s):  
Naomi Lindenstrauss ◽  
Michel Talagrand
Keyword(s):  
Boolean Expressions

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

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.

A Metric for Measuring Test Input Generation Effectiveness of Test Generation Methods for Boolean Expressions

2021 ◽  
Author(s):  
Deniz Kavzak Ufuktepe ◽  
Ekincan Ufuktepe ◽  
Tolga Ayav
Keyword(s):  
Test Generation ◽  
Test Input ◽  
Boolean Expressions

Fault class prioritization in Boolean expressions

2012 ◽  
Author(s):  
Ziyuan Wang ◽  
Zhenyu Chen ◽  
Tsong-Yueh Chen ◽  
Baowen Xu
Keyword(s):  
Boolean Expressions

Mining Complex Boolean Expressions for Sequential Equivalence Checking

2010 ◽  
Author(s):  
Neha Goel ◽  
Michael S. Hsiao ◽  
Narendran Ramakrishnan ◽  
Mohammed J. Zaki
Keyword(s):  
Equivalence Checking ◽  
Mining Complex ◽  
Sequential Equivalence Checking ◽  
Boolean Expressions

Boolean Expressions, Logic, and Proof

2018 ◽  
pp. 81-136
Author(s):  
Tom Jenkyns ◽  
Ben Stephenson
Keyword(s):  
Boolean Expressions

Fog-Based Pub/Sub Index With Boolean Expressions in the Internet of Industrial Vehicles

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

A Method for Concurrent Decomposition and Factorization of Boolean Expressions

2003 ◽  
pp. 227-234
Author(s):  
Jagadeesh Vasudevamurthy ◽  
Janusz Rajski
Keyword(s):  
Boolean Expressions

Low-Leakage Secure Search for Boolean Expressions

2017 ◽  
pp. 397-413 ◽  
Author(s):  
Fernando Krell ◽  
Gabriela Ciocarlie ◽  
Ashish Gehani ◽  
Mariana Raykova
Keyword(s):  
Low Leakage ◽  
Secure Search ◽  
Boolean Expressions
Sign in / Sign up

Export Citation Format

Share Document