Concepedia

Robert Schrag

RS

Statistics

Publications

7

Citations

818

H-Index

7

Active since

1992

Affiliations

The University of Texas at Austin(Current)

Robert Schrag is an author at The University of Texas at Austin specializing in knowledge representation, computer science, and computing.

Publications per year

1992–2010

7

Publications

7

Using CSP look-back techniques to solve real-world SAT instances

Roberto J. Bayardo, Robert Schrag · 1997 · 598 citations

Computing, Computer Science, Algorithms +15

Compilation for critically constrained knowledge bases

Robert Schrag · 1996 · 53 citations

Computing, Computer Science, Algorithms +11

Does prior knowledge facilitate the development of knowledge-based systems?

Paul R. Cohen, Vinay K. Chaudhri, Adam Pease et al. · 1999 · 45 citations

Management, Information Systems, Knowledge Management +17

A Knowledge Acquisition Tool for Course of Action Analysis

Ken Barker, Jim Blythe, Gary C. Borchardt et al. · ScholarWorks@UMassAmherst (University of Massachusetts Amherst) · 2003 · 43 citations · Full text

Management, Knowledge Management, Systems Engineering +17

Implicates and prime implicates in Random 3-SAT

Robert Schrag, James M. Crawford · Artificial Intelligence · 1996 · 31 citations

Humanities, Mathematics, Logic +4

1–5 of 7