scientific article; zbMATH DE number 1765693

MaRDI QIDQ4539634zbMATH OpenFDO

Authors Peter F. Patel-Schneider, Roberto Sebastiani

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830464

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1946871
• A modal method for generating binomial variables
• Publication:3477944
• New models for generating hard random Boolean formulas and disjunctive logic programs
• Probability theoretic methods for generative systems characterization
• A general framework for probabilistic characterizing formulae
• A new general derandomization method
• scientific article; zbMATH DE number 2201360
• A generic framework for implicate generation modulo theories

Cited in

(2)

• scientific article; zbMATH DE number 1946871 (Why is no real title available?)
• scientific article; zbMATH DE number 4147493 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539634)