Stem reg$ (all stems)

5 papers:

ICML-c1-2014-MeiZZ #first-order #logic #modelling #robust

Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.

IJCAR-2010-AravantinosCP10a #named #satisfiability

RegSTAB: A SAT Solver for Propositional Schemata (VA, RC, NP), pp. 309–315.

DAC-2009-ChakrabortyKP #framework #named #open source #quality

RegPlace: a high quality open-source placement framework for structured ASICs (AC, AK, DZP), pp. 442–447.

LATA-2009-BehleKR

Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (CB, AK, SR), pp. 129–140.

WCRE-2003-Latendresse #generative #lightweight #named #regular expression #robust #semiparsing

RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages (ML), pp. 206–215.