XLBlocks: a Block-based Formula Editor for Spreadsheet Formulas.
Bas JansenFelienne HermansPublished in: VL/HCC (2019)
Keyphrases
- mathematical formulas
- propositional formulas
- logical formulas
- conjunctive normal form
- horn formulas
- horn clauses
- cnf formula
- motion compensation
- microsoft excel
- boolean formula
- motion estimation
- mathematical expressions
- unsatisfiable cores
- fractal image compression
- block size
- knowledge base
- belief base
- knowledge compilation
- normal form
- first order logic
- disjunctive normal form
- logic programs
- shape coding
- universal quantification
- data sets
- database