Victor W. Marek

Area of research

Artificial Intelligence · Computational Theory and Mathematics

Research interest

Research interests include Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Algebra and Logic, and Semantic Web and Ontologies.

h-index

citations

3,299

works

167

NIH funding

—

primary concept

—

✉ Find email ↗

Recent publications

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Lecture notes in computer science 2016cited by 193position: lastdoi

Satisfiability-based Set Membership Filters

Journal on Satisfiability Boolean Modeling and Computation 2014cited by 20position: middledoi

Grants

Investigation on the Distributed Databases and Incomplete Information in Databases

NSF8411600$82,7521984–1987PIRePORTER

Mathematical Sciences and Computer Research: Workshop in Logic and Computer Science, Lexington, KY, December 1984

NSF8403701$14,0001984–1985PIRePORTER

Frequent collaborators

— · 1 papers (2014–2014)— · 1 papers (2014–2014)Oliver Kullmann · University of Kentucky1 papers (2016–2016)Alden Walker · CCI Reprographics (United States)1 papers (2014–2014)Marijn J. H. Heule · University of Kentucky1 papers (2016–2016)— · 1 papers (2014–2014)