Collaborated with:
O.Shumsky R.W.Wilkerson W.McCune
Talks about:
constraint (1) heurist (1) generat (1) propag (1) direct (1) order (1) negat (1) model (1) first (1) finit (1)
Person: Fikret Erçal
DBLP: Er=ccedil=al:Fikret
Contributed to:
Wrote 1 papers:
- SAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic
- Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.